scientific article; zbMATH DE number 3344299

MaRDI QIDQ5620341zbMATH OpenFDO

Authors J. S. Collins, R. J. Popplestone, Rod Burstall

Publication date 1971

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15)

Cited in

(9)

• Inferring the positions of bodies from specified spatial relationships
• Output driven interpretation of recursive programs, or writing creates and destroys data structures
• Programming by examples
• Complete sets of unifiers and matchers in equational theories
• Leave and recall: Primitives for procedural programming
• PROTECTION AS A GENERAL SYSTEMS PROBLEM
• Unbounded computational structures
• A mixed language system POP-2 and FORTRAN
• Rod Burstall: in memoriam (1934--2025)

This page was built for publication:

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