| General Terms (2007) | |||||||||||||||||
Abstract | |||||||||||||||||
| United Kingdom 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). Categories and Subject Descriptors | |||||||||||||||||
Publication details | |||||||||||||||||
| |||||||||||||||||