The Size-Change Principle for Program Termination

Chin Soon Lee, Neil D. Jones, Amir M. Ben-Amram

Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication

Original language	English
Title of host publication	ACM Symposium on Principles of Programming Languages
Publisher	ACM Press
Publication date	2001
Pages	81-92
Publication status	Published - 2001

Access to Document