TEMPO: A unified treatment of binding time and parameter passing concepts in programming languages

zbMath0387.68006MaRDI QIDQ1249938

Neil D. Jones, Steven S. Muchnick

Publication date: 1978

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68-02: Research exposition (monographs, survey articles) pertaining to computer science

68N01: General topics in the theory of software

68Nxx: Theory of software

Related Items

A partial evaluator for the untyped lambda-calculus, Static semantics, types, and binding time analysis, A partial evaluator for a parallel lambda language