Implementation Strategies for Mutable Value Semantics.

Citations Over Time

Abstract

Mutable value semantics is a programming discipline that upholds the independence of values to support local reasoning. In the discipline's strictest form, references become second-class citizens: they are only created implicitly, at function boundaries, and cannot be stored in variables or object fields. Hence, variables can never share mutable state. Unlike pure functional programming, however, mutable value semantics allows part-wise in-place mutation, thereby eliminating the memory traffic usually associated with functional updates of immutable data. This paper presents implementation strategies for compiling programs with mutable value semantics into efficient native code.

Related Papers

• → Structural Operational Semantics(1999)226 cited
• → Introducing Debugging Capabilities to Natural Semantics(2007)2 cited
• → Modular first-order specifications of operational semantics(1986)3 cited
• → A structural operational semantics for an Edison-like language (1)(1986)