Adoption and focus
Top Cited Papers
- 17 May 2002
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 37 (5) , 13-24
- https://doi.org/10.1145/512529.512532
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Role analysisPublished by Association for Computing Machinery (ACM) ,2002
- A direct approach to control-flow sensitive region-based memory managementPublished by Association for Computing Machinery (ACM) ,2001
- Enforcing high-level protocols in low-level softwarePublished by Association for Computing Machinery (ACM) ,2001
- Alias burying: Unique variables without destructive readsSoftware: Practice and Experience, 2001
- BI as an assertion language for mutable data structuresPublished by Association for Computing Machinery (ACM) ,2001
- Typed memory management in a calculus of capabilitiesPublished by Association for Computing Machinery (ACM) ,1999
- Parametric shape analysis via 3-valued logicPublished by Association for Computing Machinery (ACM) ,1999
- Memory management with explicit regionsPublished by Association for Computing Machinery (ACM) ,1998
- Implementation of the typed call-by-value λ-calculus using a stack of regionsPublished by Association for Computing Machinery (ACM) ,1994
- Typestate: A programming language concept for enhancing software reliabilityIEEE Transactions on Software Engineering, 1986