DSpace Repository

Browsing by Author "ANDERSON, Hugh"

Browsing by Author "ANDERSON, Hugh"

Sort by: Order: Results:

  • KHOO, Siau-Cheng; ANDERSON, Hugh (2005-08-03)
    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. In this paper, we extend size-change termination ...

Search DSpace

Browse

My Account