Automated generation of program translation and verification tools using annotated grammars

Diego Ordonez Camacho, Kim Mens, Mark G. J. van den Brand, Jurgen J. Vinju. Automated generation of program translation and verification tools using annotated grammars. Science of Computer Programming, 75(1-2):3-20, 2010. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication:

Duplicates

The following are duplicate records for the exact same publication: