University of Limerick Institutional Repository

Browsing LERO by Subject "bisimulation"

DSpace/Manakin Repository

Browsing LERO by Subject "bisimulation"

Sort by: Order: Results:

  • 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 ...
  • 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 ...

Search DSpace


Advanced Search

Browse

My Account