Enforcing high-level protocols in low-level software
- 1 May 2001
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM) in Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation - PLDI '01
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Typed memory management via static capabilitiesACM Transactions on Programming Languages and Systems, 2000
- Type-based race detection for JavaPublished by Association for Computing Machinery (ACM) ,2000
- A theory of type qualifiersPublished by Association for Computing Machinery (ACM) ,1999
- 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
- Simplifying and improving qualified typesPublished by Association for Computing Machinery (ACM) ,1995
- A theory of qualified typesScience of Computer Programming, 1994
- Extending typestate checking using conditional liveness analysisIEEE Transactions on Software Engineering, 1993
- Typestate: A programming language concept for enhancing software reliabilityIEEE Transactions on Software Engineering, 1986