A practical type system for safe aliasing
ContributorsRacordon, Dimitri
; Buchs, Didier
Presented atBoston (MA, USA), October 2018
PublisherACM Press
Publication date2018
Abstract
Keywords
- Aliasing
- Immutability
- Memory safety
- Type capabilities
Affiliation entities
Research groups
Citation (ISO format)
RACORDON, Dimitri, BUCHS, Didier. A practical type system for safe aliasing. In: Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2018. Boston (MA, USA). [s.l.] : ACM Press, 2018. p. 133–146. doi: 10.1145/3276604.3276612
Main files (1)
Proceedings chapter (Published version)
Identifiers
- PID : unige:138192
- DOI : 10.1145/3276604.3276612
Additional URL for this publicationhttp://dl.acm.org/citation.cfm?doid=3276604.3276612
ISBN978-1-4503-6029-6
