|
2
|
The LOOP Analyser. www.sci.univr.it/#spoto/loop
– F Spoto
- 2002
|
|
8
|
Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses
– Fausto Spoto
- 2001
|
|
209
|
Object-Oriented Type Inference
– Jens Palsberg, Michael I. Schwartzbach
- 1991
|
|
223
|
P.F.: Fast static analysis of C++ virtual function calls
– D F Bacon, Sweeney
- 1996
|
|
2605
|
Graph-based algorithms for Boolean function manipulation
– Randal E. Bryant
- 1986
|
|
1637
|
Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints
– P Cousot, R Cousot
- 1977
|
|
55
|
Lifetime analysis of dynamically allocated objects
– C Ruggieri, T P Murtagh
- 1988
|
|
54
|
Escape Analysis on Lists
– Young Gil Park, Benjamin Goldberg
- 1992
|
|
2
|
Programming With Private State
– Kamal Aboul-hosn
- 2001
|
|
1
|
Effective Java Programming Language Guide
– In
- 2001
|
|
3
|
Simple and Eective Analysis of Statically Typed Object-Oriented Programs
– A Diwan, J E B Moss, K S McKinley
- 1996
|
|
3
|
A New Class of Function for Abstract Interpretation
– Jörg Köller, Markus Mohnen
- 1999
|
|
1
|
BuDDy - A Binary Decision Diagram Package. www.itu.dk/research/buddy
– J Lind-Nielsen
|
|
4
|
Implementing Groundness Analysis with Definite Boolean Functions
– Jacob M. Howe, Andy King
- 2000
|
|
3
|
Implementing Groundness Analysis with De Boolean Functions
– J M Howe, A King
- 2000
|
|
22
|
Bounded Fixed Point Iteration
– H R Nielson, F Nielson
- 1992
|
|
7
|
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs
– Giorgio Levi, Fausto Spoto
- 1998
|
|
27
|
Practical Model-Based Static Analysis for Definite Logic Programs
– John Gallagher, Dmitri Boulanger, Hüseyin Saglam
- 1995
|
|
10
|
Class Analysis of Object-Oriented Programs through Abstract Interpretation
– Thomas Jensen, Fausto Spoto
- 2001
|
