Chin Soon Lee

According to our database, Chin Soon Lee authored at least 7 papers between 1999 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Ranking functions for size-change termination.

Chin Soon Lee

ACM Trans. Program. Lang. Syst., 2009

Ranking Functions for Size-Change Termination II

Amir M. Ben-Amram, Chin Soon Lee

Log. Methods Comput. Sci., 2009

2007

Program termination analysis in polynomial time.

Amir M. Ben-Amram, Chin Soon Lee

ACM Trans. Program. Lang. Syst., 2007

2002

Finiteness Analysis in Polynomial Time.

Chin Soon Lee

Proceedings of the Static Analysis, 9th International Symposium, 2002

Program Termination Analysis in Polynomial Time.

Chin Soon Lee

Proceedings of the Generative Programming and Component Engineering, 2002

2001

The size-change principle for program termination.

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

Proceedings of the Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2001

1999

Partial Evaluation of the Euclidean Algorithm, Revisited.

Chin Soon Lee

High. Order Symb. Comput., 1999