University of Limerick Institutional Repository

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

DSpace/Manakin Repository

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

Sort by: Order: Results:

  • Dever, Michael; Hamilton, Geoff W. (META 2012, 2012)
    Program transformation is a popular technique for attempting to improve the e ciency of a program. At a high level, program transformation is the process of taking an input program and transforming it into an improved ...

Search DSpace


Advanced Search

Browse

My Account