Catalogue of Artificial Intelligence Techniques


Jump to: Top | Entry | References | Comments

View Maths as: Images | MathML

Program Transformation

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.



Add Comment

No comments.