An abstract interpretation for estimating uncaught exceptions in Standard ML programs
- 31 May 1998
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 31 (1) , 147-173
- https://doi.org/10.1016/s0167-6423(96)00044-5
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Abstract interpretation by dynamic partitioningJournal of Functional Programming, 1992
- Abstract Interpretation FrameworksJournal of Logic and Computation, 1992
- Polymorphic type, region and effect inferenceJournal of Functional Programming, 1992
- The interprocedural analysis and automatic parallelization of Scheme programsHigher-Order and Symbolic Computation, 1989
- A denotational framework for data flow analysisActa Informatica, 1982
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965