28967 articles – 22393 references  [version française]
.:. Browse > By authors > Appel .:.
2 documents ordered by :
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]