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

MaRDI QIDQ1249938zbMATH OpenFDO

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)