Chin Soon Lee

The size-change principle for program termination

Neil D. Jones, Amir M. Ben-Amram, Chin Soon Lee, 2001, POPL '01.

Ranking Functions for Size-Change Termination II

Amir M. Ben-Amram, Chin Soon Lee, 2009, Log. Methods Comput. Sci..

Partial Evaluation of the Euclidean Algorithm, Revisited

Chin Soon Lee, 1999, High. Order Symb. Comput..

Ranking functions for size-change termination

Chin Soon Lee, 2009, TOPL.

Finiteness Analysis in Polynomial Time

Chin Soon Lee, 2002, SAS.

Program termination analysis in polynomial time

Amir M. Ben-Amram, Chin Soon Lee, 2002, TOPL.

Program Termination Analysis in Polynomial Time

Chin Soon Lee, 2002, GPCE.