1422 search results - page 8 / 285 » Complementation in Abstract Interpretation |
FOSAD
2009
Springer
15 years 1 months ago
2009
Springer
d Static Analysis by Abstract Interpretation Fr
ICLP
1991
Springer
15 years 1 months ago
1991
Springer
Interpretation of Logic Programs 1
124
click to vote
META
1992
15 years 1 months ago
1992
ract Interpretation of Logic Programs Maurice Bruynooghe and Gerda :Ianssens Department of Computer Science, Katholleke Universiteit Leuven Celestijnenlaan 200A, B-3001 Heverlee, B...
80
Voted
ENTCS
2008
14 years 9 months ago
2008
istic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions Michael J. A. Smith1 ,2 Laboratory for Foundations of Computer Science University of Edinb...
APLAS
2005
ACM
15 years 3 months ago
2005
ACM
act Interpretation Perspective on Linear vs. Branching Time Francesco Ranzato and Francesco Tapparo Dipartimento di Matematica Pura ed Applicata, Universit`a di Padova, Italy It is...