User menu

Automated generation of program translation and verification tools using annotated grammars

Bibliographic reference Camacho, Diego Ordonez ; Mens, Kim ; van den Brand, Mark ; Vinju, Jurgen. Automated generation of program translation and verification tools using annotated grammars. In: Science of Computer Programming, Vol. 75, no. 1-2, p. 3-20 (2010)
Permanent URL http://hdl.handle.net/2078.1/58683