University of Limerick Institutional Repository

Browsing Faculty of Science and Engineering by Subject "labelled transitions systems"

DSpace Repository

Browsing Faculty of Science and Engineering by Subject "labelled transitions systems"

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

Search DSpace


Browse

My Account

Statistics