1724 search results - page 8 / 345 » Abstract Interpreters for Free |
BIRTHDAY
2006
Springer
14 years 1 months ago
2006
Springer
Interpretation for Worst and Average Case Analysis Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, University of Pisa, Italy 2 Departme...
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...