Assignment Calculus: A Pure Imperative Language

DOI10.1007/978-3-642-35722-0_4zbMath1419.68032OpenAlexW150676218WikidataQ96679041 ScholiaQ96679041MaRDI QIDQ3455835

Jeffery Zucker, Marc Bender

Publication date: 11 December 2015

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-35722-0_4

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42)

Cites Work

• Unnamed Item
• Unnamed Item
• The revised report on the syntactic theories of sequential control and state
• A completeness theorem in modal logic
• Can programming be liberated from the von Neumann style?
• Universal grammar
• A formulation of the simple theory of types