A System For Specialising Logic Programs

A System For Specialising Logic Programs (1991)

by J. P. Gallagher

Citations:

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	A System For Specialising Logic Programs	user correction - Legacy Corrections
AUTHOR NAME	J. P. Gallagher	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Computer Science; University of Bristol	SVM HeaderParse 0.2
AUTHOR ADDR	Queen's Building; University Walk; Bristol BS8 1TR	SVM HeaderParse 0.1
ABSTRACT	This report describes SP, a system for specialising logic programs. The report functions as a user's manual for SP, and also contains the algorithms employed and arguments for their correctness. A number of examples of program specialisation are given in Appendix A. Contents 1 Program Specialisation 4 2 Transformations in SP 5 3 Unfolding Rules 10 4 Approximation 13 5 The Specialisation Algorithm 16 6 How to Use SP 20 7 Discussion 23 A Examples of Specialisation 28 B Unfoldability Conditions for Built-ins 36 1 Program Specialisation SP is a system for specialising logic programs. Before describing the system, it is worth reviewing briefly the aims and interesting applications of program specialisation. To specialise a program is to restrict its behaviour in some way. The purpose of specialisation is to exploit the restriction to gain efficiency. A specialised program is equivalent, within the bounds of the restriction imposed, to the original unspecialised program, but should be ...	user correction - Legacy Corrections
YEAR	1991	user correction - Legacy Corrections
CITATIONS	29 found	ParsCit 1.0