1189 search results - page 8 / 238 » The Quotient of an Abstract Interpretation |
CSL
2004
Springer
14 years 2 months ago
2004
Springer
Interpretation of Proofs: Classical Propositional Calculus Martin Hyland DPMMS, Centre for Mathematical Sciences, University of Cambridge, England Representative abstract interpret...
FOSAD
2009
Springer
14 years 13 days ago
2009
Springer
d Static Analysis by Abstract Interpretation Fr
ICLP
1991
Springer
14 years 2 days ago
1991
Springer
Interpretation of Logic Programs 1
META
1992
14 years 19 days 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...
ENTCS
2008
13 years 8 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...