UNIGE document Conference Proceedings
previous document  unige:135933  next document
add to browser collection
Title

An Annotation System for Specifying Aliasing Invariants on Object Fields. Proceedings of the 4th International Conference on the Art, Science and Engineering of Programming

Author
Publication New York: ACM, 2020
Abstract Aliasing is an essential concept in programming languages, used to represent self-referential structures and share data between components. Unfortunately, it is also a common source of software bugs that are often hard to find and fix. In response, a plethora of methods have been proposed to tame aliasing. They usually rely on uniqueness and/or immutability to establish strong safety guarantees, but are often too restrictive to write common idioms, as they generally enforce a single-writer policy. This paper suggests to relax this constraint by focusing on the specific parts of an object representation for which aliasing should be controlled, otherwise allowing unrestricted mutations of its fields.
Keywords AliasingInvariantsContract-based programming
Identifiers
Full text
Proceedings (Accepted version) (368 Kb) - public document Free access
Structures
Research group Software Modeling and Verification
Citation
(ISO format)
COET, Aurélien. An Annotation System for Specifying Aliasing Invariants on Object Fields. Proceedings of the 4th International Conference on the Art, Science and Engineering of Programming. New York : ACM, 2020. doi: 10.1145/3397537.3398480 https://archive-ouverte.unige.ch/unige:135933

122 hits

36 downloads

Update

Deposited on : 2020-05-18

Export document
Format :
Citation style :