4814 search results - page 10 / 963 » Combining abstract interpreters |
PKDD
2010
Springer
14 years 10 months ago
2010
Springer
Mining Meets Abstract Interpretation J. Carmona and J. Cortadella Universitat Polit`ecnica de Catalunya, Spain The discovery of process models out of system traces is a problem tha...
118
click to vote
SAS
1995
Springer
15 years 3 months ago
1995
Springer
ntation in Abstract Interpretation AGOSTINO CORTESI Universit`a di Venezia GILBERTO FIL´E Universit`a di Padova ROBERTO GIACOBAZZI Universit`a di Pisa CATUSCIA PALAMIDESSI Univers...
85
Voted
BIRTHDAY
2006
Springer
15 years 3 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
15 years 5 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
15 years 3 months ago
2009
Springer
d Static Analysis by Abstract Interpretation Fr