Abstract Interpretation Based Formal Methods and Future Challenges
- 29 March 2001
- book chapter
- Published by Springer Nature
- p. 138-156
- https://doi.org/10.1007/3-540-44577-3_10
Abstract
No abstract availableKeywords
This publication has 45 references indexed in Scilit:
- Automatic analysis of pointer aliasing for untyped programsScience of Computer Programming, 1999
- Cache behavior prediction by abstract interpretationScience of Computer Programming, 1999
- Sharing is optimalThe Journal of Logic Programming, 1999
- An abstract interpretation for estimating uncaught exceptions in Standard ML programsScience of Computer Programming, 1998
- About synchronous programming and abstract interpretationScience of Computer Programming, 1998
- Optimal groundness analysis using propositional logicThe Journal of Logic Programming, 1996
- Abstract interpretation and application to logic programsThe Journal of Logic Programming, 1992
- Static analysis of arithmetical congruencesInternational Journal of Computer Mathematics, 1989
- Strictness analysis for higher-order functionsScience of Computer Programming, 1986
- Static determination of dynamic properties of generalized type unionsACM SIGSOFT Software Engineering Notes, 1977