A Extending the cogen �


The so called cogen approach to program specialisation writing a compiler generator instead of a specialiser has been used with considerable success in partial evaluation of both functional and imperative languages This paper demonstrates that this approach is also applicable to partial evaluation of logic programming languages also called partial deduction… (More)