Proceedings chapter
English

An Annotation System for Specifying Aliasing Invariants on Object Fields

ContributorsCoet, Aurélien
PublisherNew York : ACM
Publication date2020
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
  • Aliasing
  • Invariants
  • Contract-based programming
Citation (ISO format)
COET, Aurélien. An Annotation System for Specifying Aliasing Invariants on Object Fields. In: Proceedings of the 4th International Conference on the Art, Science and Engineering of Programming. New York : ACM, 2020. doi: 10.1145/3397537.3398480
Main files (1)
Proceedings chapter (Published version)
accessLevelRestricted
Identifiers
316views
187downloads

Technical informations

Creation18/05/2020 12:12:00
First validation18/05/2020 12:12:00
Update18/12/2024 15:15:33
Status update18/12/2024 15:15:33
Last indexation18/12/2024 15:15:35
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack