An imperative pure calculus

DOI10.1016/J.ENTCS.2016.03.007zbMath1345.68097OpenAlexW2342367320WikidataQ113317697 ScholiaQ113317697MaRDI QIDQ737089

Marco Servetto, Andrea Capriccioli, Elena Zucca

Publication date: 5 August 2016

Full work available at URL: https://doi.org/10.1016/j.entcs.2016.03.007

zbMATH Keywords

operational semanticsaliasingimperative calculus

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Flexible recovery of uniqueness and immutability ⋮ Unnamed Item

Uses Software

• PLT Redex
• Featherweight Java

Cites Work

• The revised report on the syntactic theories of sequential control and state
• A syntactic theory of sequential state
• Skew confluence and the lambda calculus with letrec
• The call-by-need lambda calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An imperative pure calculus