An imperative pure calculus

DOI10.1016/J.ENTCS.2016.03.007MaRDI QIDQ737089zbMATH OpenOpenAlexWikidataFDO

Authors Andrea Capriccioli, Marco Servetto, Elena Zucca

Publication date 5 August 2016

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

zbMATH Keywords

aliasingoperational semanticsimperative calculus

Mathematics Subject Classification ID

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

Recommendations

• Aliasing Control in an Imperative Pure Calculus
• Assignment calculus: a pure imperative language
• Functional translation of a calculus of capabilities
• An imperative object calculus
• A logical view of assignments

Cites work

• scientific article; zbMATH DE number 1692948 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• A syntactic theory of sequential state
• Semantics engineering with PLT Redex
• Skew confluence and the lambda calculus with letrec
• The call-by-need lambda calculus
• The revised report on the syntactic theories of sequential control and state

Cited in

(5)

• Flexible recovery of uniqueness and immutability
• scientific article; zbMATH DE number 7526054 (Why is no real title available?)
• Assignment calculus: a pure imperative language
• Alias calculus for a simple imperative language with decidable pointer arithmetic
• A logical view of assignments

Describes a project that uses

Uses Software

• PLT Redex
• Featherweight Java

This page was built for publication: An imperative pure calculus

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