Browsing LERO - Project partner authors by Author "Jones, Neil D."

Now showing items 1-2 of 2

Distillation with labelled transition systems

Hamilton, Geoff W.; Jones, Neil D. (Association for Computing Machinery, 2012)

In this paper, we provide an improved basis for the “distillation” program transformation. It is known that superlinear speedups can be obtained using distillation, but cannot be obtained by other earlier automatic ...
Proving the correctness of unfold/fold program transformations using bisimulation

Hamilton, Geoff W.; Jones, Neil D. (Springer, 2012)

This paper shows that a bisimulation approach can be used to prove the correctness of unfold/fold program transformation algorithms. As an illustration, we show how our approach can be use to prove the correctness of ...

DSpace Repository