University of Limerick Institutional Repository

Browsing Faculty of Science and Engineering by Subject "unfold/fold"

DSpace Repository

Browsing Faculty of Science and Engineering by Subject "unfold/fold"

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


Browse

My Account

Statistics