Control-Flow Analysis in Cubic Time
- 23 March 2001
- book chapter
- Published by Springer Nature
- p. 252-268
- https://doi.org/10.1007/3-540-45309-1_17
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A calculus of mobile processes, IPublished by Elsevier ,2004
- Static Analysis for the π-Calculus with Applications to SecurityInformation and Computation, 2001
- Tractable constraints in finite semilatticesScience of Computer Programming, 1999
- Introduction to set constraint-based program analysisScience of Computer Programming, 1999
- On the Complexity Analysis of Static AnalysesPublished by Springer Nature ,1999
- Principles of Program AnalysisPublished by Springer Nature ,1999
- Validating Firewalls in Mobile AmbientsPublished by Springer Nature ,1999
- Mobile ambientsPublished by Springer Nature ,1998
- Control flow analysis for the π-calculusPublished by Springer Nature ,1998
- Linear-time algorithms for testing the satisfiability of propositional horn formulaeThe Journal of Logic Programming, 1984