Software A number of tools for transformation and analysis of logic programs have been developed. These include A partial evaluator A bottom-up abstract interpreter. The domains of regular approximation, depth-k abstraction, and PROP have been implemented. All the software is available by request. A tarfile containing the regular approximation tool can be obtained by ftp.
Some papers are available on-line.
See also the departmental technical reports archive . Analysis and Transformation of Proof Procedures . PhD thesis, Department of Computer Science, University of Bristol, October 1994. Emmanouil I. Marakakis . Based on Typed Moded Schemata and Data Types .