Flexible recovery of uniqueness and immutability

DOI10.1016/j.tcs.2018.09.001zbMath1417.68032arXiv1807.00137OpenAlexW2900040591WikidataQ128979828 ScholiaQ128979828MaRDI QIDQ1731519

James Cone, Elena Zucca, Marco Servetto, Paola Giannini

Publication date: 13 March 2019

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1807.00137

zbMATH Keywords

aliasingtype systemsimmutabilityimperative calculi

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Information Flow Control-by-Construction for an Object-Oriented Language, Unnamed Item

Uses Software

• Featherweight Java

Cites Work

• An imperative pure calculus
• Coeffects
• A type system for borrowing permissions
• Aliasing Control in an Imperative Pure Calculus
• Alias burying: Unique variables without destructive reads