Automated generation of program translation and verification tools using annotated grammars
From MaRDI portal
Publication:2653929
DOI10.1016/j.scico.2009.10.003zbMath1187.68113MaRDI QIDQ2653929
Mark van den Brand, Kim Mens, Diego Ordóñez Camacho, Jurgen Vinju
Publication date: 15 January 2010
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://ir.cwi.nl/pub/15098
automated translation; program translation; language families; annotated grammars; Asf+Sdf; operations languages
Uses Software
Cites Work