Requirements for advanced programming systems for list processing

DOI10.1145/361454.361491MaRDI QIDQ5652185zbMATH OpenOpenAlexFDO

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

Cited in

(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

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