A comparison of refinement orderings and their associated simulation rules
- C. Bolton, J. Davies
- REFINE’2002. Electronic Notes on Theoretical…
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.