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

zbMATH Open0387.68006MaRDI QIDQ1249938FDOQ1249938

Authors: 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

Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Formal languages and automata (68Q45) Theory of software (68Nxx)

Cited In (3)

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

This page was built for publication: TEMPO: A unified treatment of binding time and parameter passing concepts in programming languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1249938)