Travelled to:
1 × Italy
Collaborated with:
K.Mens M.v.d.Brand J.J.Vinju
Talks about:
translat (3) grammar (3) autom (3) annot (3) program (2) tool (2) use (2) appareil (1) generat (1) verif (1)
Person: Diego Ordóñez Camacho
DBLP: Camacho:Diego_Ord=oacute==ntilde=ez
Contributed to:
Wrote 3 papers:
- ASE-2008-CamachoM #automation #named #using
- APPAREIL: A Tool for Building Automated Program Translators Using Annotated Grammars (DOC, KM), pp. 489–490.
- LDTA-J-2007-CamachoMBV #automation #generative #tool support #using #verification
- Automated generation of program translation and verification tools using annotated grammars (DOC, KM, MvdB, JJV), pp. 3–20.
- LDTA-2006-CamachoMBV #automation
- Automated Derivation of Translators From Annotated Grammars (DOC, KM, MvdB, JJV), pp. 121–137.