A portable lisp compiler

DOI10.1002/spe.4380110603zbMath0467.68024OpenAlexW2051769410MaRDI QIDQ3920626

Martin L. Griss, Anthony C. Hearn

Publication date: 1981

Published in: Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/spe.4380110603

zbMATH Keywords

optimizationmachine independent compilers

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items

Implementing LISP in a high-level language

Cites Work

• Unnamed Item
• Unnamed Item
• Recursive functions of symbolic expressions and their computation by machine, Part I
• A program data flow analysis procedure
• Shallow binding in Lisp 1.5