1689 search results - page 18 / 338 » Refining abstract interpretations |
171
click to vote
PKDD
2010
Springer
15 years 4 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...
193
click to vote
SAS
1995
Springer
15 years 10 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...
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