In: 4th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP), 2002, pp. 133-144.

Authors: Stephen Drape, Oege de Moor and Ganesh Sittampalam
>

Abstract

Path logic programming is a modest extension of Prolog for the specification of program transformations. We give an informal introduction to this extension, and we show how it can be used in coding standard compiler optimisations, and also a number of obfuscating transformations. The object language is the Microsoft .NET intermediate language (IL).

(PDF, PS)

BIBTEX:

@inproceedings{ppdp02drape,
 author = {Stephen Drape and Oege de Moor and Ganesh Sittampalam},
 title = {Transforming the .NET intermediate language using path logic programming},
 booktitle = {PPDP '02: Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming},
 year = {2002},
 isbn = {1-58113-528-9},
 pages = {133--144},
 location = {Pittsburgh, PA, USA},
 publisher = {ACM Press}
 }