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

An Adaptive-Bounds Band-Pass Moving-Average Filter to Increase Precision on Distance Estimation from Bluetooth RSSI., and . ICITS, volume 721 of Advances in Intelligent Systems and Computing, page 823-832. Springer, (2018)APPAREIL: A Tool for Building Automated Program Translators Using Annotated Grammars., and . ASE, page 489-490. IEEE Computer Society, (2008)Automated Derivation of Translators From Annotated Grammars, , , and . Electronic Notes in Theoretical Computer Science, (2006)Automated Derivation of Translators From Annotated Grammars., , , and . LDTA@ETAPS, volume 164 of Electronic Notes in Theoretical Computer Science, page 121-137. Elsevier, (2006)A product-line for families of program translators: a grammar-based approach.. Catholic University of Louvain, Louvain-la-Neuve, Belgium, (2010)base-search.net (ftunivlouvain:oai:dial.uclouvain.be:boreal:33289).Using Annotated Grammars for the Automated Generation of Program Transformers, and . Submitted to IDM2007, (2006)Automated generation of program translation and verification tools using annotated grammars., , , and . Sci. Comput. Program., 75 (1-2): 3-20 (2010)Towards a Language-Independent Framework for Intensional Views. Université catholique de Louvain, (2004)Towards a Language-independent Intentional Views Framework. Université catholique de Louvain, Louvain-la-Neuve, Belgium, (2004)