University of Limerick Institutional Repository

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

DSpace/Manakin 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


Advanced Search

Browse

My Account