33868 articles – 26719 Notices  [english version]
.:. Consultation > Par auteur > Appel .:.
2 documents classés par :

fulltext access The CompCert Memory Model, Version 2
Leroy X., Appel A. W., Blazy S., Stewart G.
N° RR-7987 (2012) [hal-00703441 - version 1]
fulltext access A list-machine benchmark for mechanized metatheory
Appel A. W., Dockins R., Leroy X.
Journal of Automated Reasoning 49, 3 (2012) 453--491 [hal-00674176 - version 1]