An Annotation System for Specifying Aliasing Invariants on Object Fields
ContributorsCoet, Aurélien
PublisherNew York : ACM
Publication date2020
Abstract
Keywords
- Aliasing
- Invariants
- Contract-based programming
Affiliation entities
Research groups
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)
Identifiers
- PID : unige:135933
- DOI : 10.1145/3397537.3398480
