Automated generation of program translation and verification tools using annotated grammars

DOI10.1016/J.SCICO.2009.10.003MaRDI QIDQ2653929zbMATH OpenOpenAlexFDO

Authors Diego Ordóñez Camacho, Kim Mens, M. G. J. van den Brand, J. J. 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

zbMATH Keywords

annotated grammarsAsf+Sdfautomated translationlanguage familiesoperations languagesprogram translation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Grammars and rewriting systems (68Q42)

Recommendations

• Logical Aspects of Computational Linguistics
• One approach to the specification and verification of translators
• Program annotation and transformation
• Automatic programming: A tutorial on formal methodologies
• Automating the transformation-based analysis of visual languages

Cites work

• scientific article; zbMATH DE number 1693507 (Why is no real title available?)
• scientific article; zbMATH DE number 1216248 (Why is no real title available?)
• scientific article; zbMATH DE number 1222559 (Why is no real title available?)
• scientific article; zbMATH DE number 1302381 (Why is no real title available?)
• Syntax-Directed Transduction
• Towards lightweight checks for mass maintenance transformations
• Translations on a context free grammar

Cited in

(1)

• scientific article; zbMATH DE number 2043478 (Why is no real title available?)

Describes a project that uses

Uses Software

• GDK
• Stratego
• TXL
• ASF+SDF

This page was built for publication: Automated generation of program translation and verification tools using annotated grammars

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2653929)