Ownership transfer in universe types
- 21 October 2007
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 42 (10) , 461-478
- https://doi.org/10.1145/1297027.1297061
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Language support for fast and reliable message-based communication in singularity OSPublished by Association for Computing Machinery (ACM) ,2006
- Protecting representation with effect encapsulationPublished by Association for Computing Machinery (ACM) ,2006
- Scoped Types and Aspects for Real-Time JavaPublished by Springer Nature ,2006
- Declaring and checking non-null types in an object-oriented languagePublished by Association for Computing Machinery (ACM) ,2003
- Adoption and focusPublished by Association for Computing Machinery (ACM) ,2002
- Parametric shape analysis via 3-valued logicACM Transactions on Programming Languages and Systems, 2002
- Alias annotations for program understandingPublished by Association for Computing Machinery (ACM) ,2002
- Ownership types for safe programmingPublished by Association for Computing Machinery (ACM) ,2002
- Alias burying: Unique variables without destructive readsSoftware: Practice and Experience, 2001
- Ownership types for flexible alias protectionACM SIGPLAN Notices, 1998