IGR Report: GR/M37493/01

  • Published 2002

Abstract

Design tools for software engineering have found a good market, but they concentrate strongly on pictorial front-ends; they need to be supported by effective tools for analysis and transformation. This project aimed to make a small but seminal contribution towards the development of such tools. The goal was to draw together the advances made in a variety of programming calculi and the advances made independently in a variety of symbolic manipulation tools.

Cite this paper

@inproceedings{2002IGRRG, title={IGR Report: GR/M37493/01}, author={}, year={2002} }