Author of the publication

Automated generation of program translation and verification tools using annotated grammars.

, , , and . Sci. Comput. Program., 75 (1-2): 3-20 (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Survey of Open Source Multiphysics Frameworks in Engineering., , , and . ICCS, volume 51 of Procedia Computer Science, page 1088-1097. Elsevier, (2015)Seventh European Conference on Software Maintenance and Reengineering (CSMR 2003)., , and . Journal of Software Maintenance, 16 (4-5): 217-218 (2004)Re-engineering Needs Generic Programming Language Technology., , and . ACM SIGPLAN Notices, 32 (2): 54-61 (1997)Term rewriting with traversal functions., , and . ACM Trans. Softw. Eng. Methodol., 12 (2): 152-190 (2003)Disambiguation Filters for Scannerless Generalized LR Parsers., , , and . CC, volume 2304 of Lecture Notes in Computer Science, page 143-158. Springer, (2002)Generation of Formatters for Context-Free Languages., and . ACM Trans. Softw. Eng. Methodol., 5 (1): 1-41 (1996)An approach for functional safety improvement of an existing automotive system., , , , and . SysCon, page 277-282. IEEE, (2015)Metamodel clone detection with SAMOS., , and . J. Comput. Lang., (2019)An Action Environment., , and . Sci. Comput. Program., 61 (3): 245-264 (2006)Automated generation of program translation and verification tools using annotated grammars., , , and . Sci. Comput. Program., 75 (1-2): 3-20 (2010)