Abstract debugging of higher-order imperative languages
- 1 June 1993
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- A lattice for abstract interpretation of dynamic (LISP-like) structuresInformation and Computation, 1992
- Abstract interpretation by dynamic partitioningJournal of Functional Programming, 1992
- SPARE: a development environment for program analysis algorithmsIEEE Transactions on Software Engineering, 1992
- Pointer-induced aliasing: a problem taxonomyPublished by Association for Computing Machinery (ACM) ,1991
- A fresh look at optimizing array bound checkingPublished by Association for Computing Machinery (ACM) ,1990
- A flexible approach to interprocedural data flow analysis and programs with recursive data structuresPublished by Association for Computing Machinery (ACM) ,1982
- Optimization of range checkingPublished by Association for Computing Machinery (ACM) ,1982
- An efficient way to find the side effects of procedure calls and the aliases of variablesPublished by Association for Computing Machinery (ACM) ,1979
- Automatic discovery of linear restraints among variables of a programPublished by Association for Computing Machinery (ACM) ,1978
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977