31387 search results - page 51 / 6278 » Abstracting abstract machines |
VMCAI
2010
Springer
14 years 7 months ago
2010
Springer
c Abstraction for Congruences A Story of Beauty and the Beast Andy King and Harald S?ndergaard Portcullis Computer Security University of Melbourne g and Harald S?ndergaard Automat...
CIE
2006
Springer
14 years 1 months ago
2006
Springer
le conservative rational abstract geometrical computation is Turing-universal d abstract) J
ITP
2010
13 years 12 months ago
2010
ied Denotational Abstract Interpreter (Proof Pearl) David Cachera1 and David Pichardie2 1 IRISA / ENS Cachan (Bretagne), France 2 INRIA Rennes
CGF
2008
13 years 10 months ago
2008
Space Quality Method for Data Abstraction J. Johansson and M. Cooper Norrk
JSYML
2006
13 years 10 months ago
2006
R FOR TAME ABSTRACT ELEMENTARY CLASSES RAMI GROSSBERG AND MONICA VANDIEREN We prove a categoricity transfer theorem for tame abstract elementary classes.