31387 search results - page 76 / 6278 » Abstracting abstract machines |
ENTCS
2006
13 years 11 months ago
2006
models and full abstraction Gavin Lowe and Jo
SIGARCH
2008
13 years 11 months ago
2008
e Shared Abstract Data Types H
SCP
1998
13 years 10 months ago
1998
Interpretation Using Typed Decision Graphs Laurent Mauborgne LIENS, ´Ecole Normale Sup´erieure, 45 rue d’Ulm, 75230 Paris cedex 05, France Abstract. This article presents a way...
PKDD
2010
Springer
13 years 9 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...
ENTCS
2010
13 years 8 months ago
2010
mented Abstractions Matt Eldera,1 , Denis Gopanb,2 , and Thomas Repsa,b,3 a Computer Sciences Department, Univ. of Wisconsin; Madison, WI; USA b GrammaTech, Inc.; Ithaca, NY; USA ...