Automated generation of program translation and verification tools using annotated grammars

Type de document :
Article dans une revue
Science of Computer Programming, Elsevier, 2010, 75 (1-2), pp.3-20
Liste complète des métadonnées

https://hal.inria.fr/inria-00535869
Contributeur : Jurgen Vinju <>
Soumis le : samedi 13 novembre 2010 - 16:16:48
Dernière modification le : mardi 13 décembre 2016 - 15:40:42

Identifiants

  • HAL Id : inria-00535869, version 1

Collections

Citation

Diego Ordonez, Kim Mens, Mark Van den Brand, Jurgen Vinju. Automated generation of program translation and verification tools using annotated grammars. Science of Computer Programming, Elsevier, 2010, 75 (1-2), pp.3-20. 〈inria-00535869〉

Partager

Métriques

Consultations de la notice

78