A syntactic model of mutation and aliasing

MaRDI QIDQ5076059zbMATH OpenFDO

Authors Paola Giannini, Marco Servetto, Elena Zucca

Publication date 12 May 2022

Full work available at URL https://arxiv.org/abs/1904.10107, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ITRS2018.4

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• An imperative pure calculus
• scientific article; zbMATH DE number 1948166
• Aliasing Control in an Imperative Pure Calculus
• Syntactic control of interference revisited
• A model for syntactic control of interference

Cites work

• A type system for borrowing permissions
• Alias burying: Unique variables without destructive reads
• Aliasing Control in an Imperative Pure Calculus
• An imperative pure calculus
• Flexible recovery of uniqueness and immutability
• Region-based memory management
• Skew confluence and the lambda calculus with letrec
• The call-by-need lambda calculus
• The call-by-need lambda calculus

Describes a project that uses

Uses Software

• Featherweight Java
• Rust

This page was built for publication: A syntactic model of mutation and aliasing

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