Extending typestate checking using conditional liveness analysis
- 1 May 1993
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 19 (5), 478-485
- https://doi.org/10.1109/32.232013
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Constant propagation with conditional branchesACM Transactions on Programming Languages and Systems, 1991
- Cecil: a sequencing constraint language for automatic static analysis generationIEEE Transactions on Software Engineering, 1990
- An efficient general iterative algorithm for dataflow analysisActa Informatica, 1987
- Typestate: A programming language concept for enhancing software reliabilityIEEE Transactions on Software Engineering, 1986
- NILPublished by Association for Computing Machinery (ACM) ,1983
- Mechanisms for compile-time enforcement of securityPublished by Association for Computing Machinery (ACM) ,1983
- Qualified Data Flow ProblemsIEEE Transactions on Software Engineering, 1981
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977
- Data Flow Analysis in Software ReliabilityACM Computing Surveys, 1976
- A unified approach to global program optimizationPublished by Association for Computing Machinery (ACM) ,1973