Capabilities for Sharing
- 21 June 2001
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Alias burying: Unique variables without destructive readsSoftware: Practice and Experience, 2001
- Virginity: A contribution to the specification of object-oriented softwareInformation Processing Letters, 1999
- Aliasing in Object Oriented SystemsLecture Notes in Computer Science, 1999
- Towards alias-free pointersLecture Notes in Computer Science, 1996
- “Use-once” variables and linear objectsACM SIGPLAN Notices, 1995
- The Geneva convention on the treatment of object aliasingACM SIGPLAN OOPS Messenger, 1992
- Copying and swapping: influences on the design of reusable software componentsIEEE Transactions on Software Engineering, 1991
- Linear logicTheoretical Computer Science, 1987
- Values and objects in programming languagesACM SIGPLAN Notices, 1982
- Language features for process interactionACM SIGPLAN Notices, 1977