DSpace Repository

Browsing by Author "Anderson Hugh"

Browsing by Author "Anderson Hugh"

Sort by: Order: Results:

  • Anderson Hugh; Siau Cheng KHOO (2003-09-01)
    The size-change principle devised by Lee, Jones and Ben-Amram, provides an effective method of determining program termination for recursive functions over well-founded types. Termination analysis using the principle ...

Search DSpace


My Account