System Support for the Interactive Transformation of Functional Programs

Abstract

This paper describes the program transformation system Ultra. The intended use of Ultra is to assist programmers in the formal derivation of correct and effcient programs from high-level descriptive or operational specifications. The most salient features of Ultra are its sound theoretical foundation, its lean, and portable implementation, its extendability, its exible and convenient way to express transformation tasks, and its comfortable user interface.