Skip to Main content Skip to Navigation
Journal articles

Automated generation of program translation and verification tools using annotated grammars

Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/inria-00535869
Contributor : Jurgen Vinju <>
Submitted on : Saturday, November 13, 2010 - 4:16:48 PM
Last modification on : Thursday, March 5, 2020 - 4:49:20 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

151