1984 · 39 citations · 8 references
ComputingComputer EngineeringComputer ScienceCompilersComputer ArchitectureProgramming LanguagesCompiler ConstructionObject-oriented ProgrammingParsingProgramming Language ImplementationSoftware ConstructionSoftware DesignIntermediate Code GenerationObject-oriented Language DesignParser DesignParser GeneratorsVlsi Implementation
This paper describes the LELISP system, developed at the VLSI project at INRIA, which has been designed for efficiency, easy transport and large systems construction. It also presents the programming environment (including an object oriented extension, a meta pretty printer, a parser generator, a universal editor) and some current applications.
8
Yacc : Yet Another Compiler Compiler
S. C. Johnson, Murray Hill · 1978 · 1.2K citations
The Cornell program synthesizer
Tim Teitelbaum, Thomas Reps · Communications of the ACM · 1981 · 709 citations · Full text
A Metalanguage for interactive proof in LCF
Mike Gordon, R. Milner, L. Morris et al. · 1978 · 127 citations · Full text
Martin Griss, E.R. Benson, Gerald Q. Maguire · 1982 · 46 citations