Generalized typestate checking using set interfaces and pluggable analyses
- 1 March 2004
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 39 (3) , 46-55
- https://doi.org/10.1145/981009.981016
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- Typestates for ObjectsPublished by Springer Nature ,2004
- Extended static checking for JavaPublished by Association for Computing Machinery (ACM) ,2002
- Adoption and focusPublished by Association for Computing Machinery (ACM) ,2002
- Parametric shape analysis via 3-valued logicACM Transactions on Programming Languages and Systems, 2002
- The pointer assertion logic enginePublished by Association for Computing Machinery (ACM) ,2001
- Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in CPublished by Association for Computing Machinery (ACM) ,1996
- Context-sensitive interprocedural points-to analysis in the presence of function pointersPublished by Association for Computing Machinery (ACM) ,1994
- Graph typesPublished by Association for Computing Machinery (ACM) ,1993
- Analysis of pointers and structuresPublished by Association for Computing Machinery (ACM) ,1990
- Extensions for multi-module records in conventional programming languagesPublished by Association for Computing Machinery (ACM) ,1987