28596 articles – 22090 Notices  [english version]
.:. Consultation > Par auteur > Appel .:.
5 documents classés par :
fulltext access Formal Verification of Coalescing Graph-Coloring Register Allocation
Blazy S., Robillard B., Appel A. W. W.
Dans 19th European Symposium on Programming (ESOP) 6012 (2010) 145-164 [inria-00477689 - version 1]
fulltext access Separation Logic for Small-step Cminor (extended version)
Appel A. W. W., Blazy S.
N° RR-6138 (2007) [inria-00134699 - version 5]
fulltext access Separation Logic for Small-step Cminor
Appel A. W. W., Blazy S.
Dans 20th Int. Conference on Theorem Proving in Higher Order Logics (TPHOLs 2007) 4732 (2007) 5-21 [inria-00165915 - version 1]
fulltext access A list-machine benchmark for mechanized metatheory (extended abstract)
Appel A. W. W., Leroy X.
Dans Int. Workshop on Logical Frameworks and Meta-Languages (LFMTP 2006) 174/5 (2006) 95-108 [inria-00289543 - version 1]
fulltext access A list-machine benchmark for mechanized metatheory
Appel A. W. W., Leroy X.
N° RR-5914 (2006) [inria-00077531 - version 1]