University of Limerick Institutional Repository

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

DSpace 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


Browse

My Account

Statistics