We present an approach to integrate several existing tools and methods to a technical framework for correctly developing and executing program transformations. The resulting systems enable program derivations in a user-friendly way. We illustrate the approach by proving and implementing the transformation Global Search on the basis of the tactical theorem prover Isabelle. A graphical user-interface based on the X-Window toolkit Tk provides user friendly access to the underlying machinery.
CITATION STYLE
Kolyang, K., Santen, T., & Wolff, B. (1996). Correct and user-friendly implementations of transformation systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1051, pp. 629–648). Springer Verlag. https://doi.org/10.1007/3-540-60973-3_111
Mendeley helps you to discover research relevant for your work.