1724 search results - page 8 / 345 » Abstract Interpreters for Free |
152
click to vote
BIRTHDAY
2006
Springer
15 years 10 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...
158
click to vote
CSL
2004
Springer
15 years 12 months ago
2004
Springer
Interpretation of Proofs: Classical Propositional Calculus Martin Hyland DPMMS, Centre for Mathematical Sciences, University of Cambridge, England Representative abstract interpret...
154
click to vote
FOSAD
2009
Springer
15 years 10 months ago
2009
Springer
d Static Analysis by Abstract Interpretation Fr
235
click to vote
META
1992
15 years 10 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...