Requirements for advanced programming systems for list processing

DOI10.1145/361454.361491zbMath0241.68005OpenAlexW1964746660MaRDI QIDQ5652185

Daniel G. Bobrow

Publication date: 1972

Published in: Communications of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/361454.361491

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (2)

PASCAL in LCF: Semantics and examples of proof ⋮ An application of coroutines and backtracking in interactive systems

This page was built for publication: Requirements for advanced programming systems for list processing