Gradual Typestate
- 1 January 2011
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- Hybrid type checkingACM Transactions on Programming Languages and Systems, 2010
- Effective typestate verification in the presence of aliasingACM Transactions on Software Engineering and Methodology, 2008
- Gradual Typing for ObjectsLecture Notes in Computer Science, 2007
- Typestates for ObjectsLecture Notes in Computer Science, 2004
- Checking Interference with Fractional PermissionsLecture Notes in Computer Science, 2003
- Featherweight JavaACM Transactions on Programming Languages and Systems, 2001
- Local type inferenceACM Transactions on Programming Languages and Systems, 2000
- Minimizing reference count updating with deferred and anchored pointers for functional data structuresACM SIGPLAN Notices, 1994
- Reasoning about programs in continuation-passing styleHigher-Order and Symbolic Computation, 1993
- Linear logicTheoretical Computer Science, 1987