2203 search results - page 10 / 441 » Temporal Abstract Interpretation |
CSL
2004
Springer
14 years 3 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 1 months ago
2009
Springer
d Static Analysis by Abstract Interpretation Fr
ICLP
1991
Springer
14 years 1 months ago
1991
Springer
Interpretation of Logic Programs 1
META
1992
14 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...
ENTCS
2008
13 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...