Catalogue of Artificial Intelligence Techniques
Keywords: declarative languages
Categories: Automatic Programming
Author(s): John Darlington
A technique for developing programs. An initial specification is written as a (probably inefficient) program and then transformed to an efficient version using methods guaranteed to preserve the meaning of the program. Within the declarative languages program transformations can be based on a small set of provably correct basic transformations facilitating the development of semi-automatic transformation systems. See also Partial Evaluation.
- Darlington, J., Henderson P. and Turner, D.A., eds., Function Programming and its Applications: an advanced course, Cambridge University Press, Cambridge, 1982, pp.193--215.