HOPL-II The second ACM SIGPLAN conference on History of programming languages
Retargetable Compiler Code Generation
ACM Computing Surveys (CSUR)
Proving the correctness of heuristically optimized code
Communications of the ACM
Sentence paraphrasing from a conceptual base
Communications of the ACM
Compiler testing via symbolic interpretation
ACM '76 Proceedings of the 1976 annual conference
A normal form for compiler testing
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Implementation and applications of Scott's logic for computable functions
Proceedings of ACM conference on Proving assertions about programs
The language LISP does not exist?
ACM SIGPLAN Notices
History of programming languages---II
Hi-index | 0.03 |
MLISP is a high level list-processing and symbol-manipulation language based on the programming language LISP. MLISP programs are translated into LISP programs and then executed or compiled. MLISP exists for two purposes: (1) to facilitate the writing and understanding of LISP programs; (2) to remedy certain important deficiencies in the list-processing ability of LISP.