Chin Soon Lee

	2009
7		Chin Soon Lee: Ranking functions for size-change termination. ACM Trans. Program. Lang. Syst. 31(3): (2009)
6		Amir M. Ben-Amram, Chin Soon Lee: Ranking Functions for Size-Change Termination II Logical Methods in Computer Science 5(2): (2009)
	2007
5		Amir M. Ben-Amram, Chin Soon Lee: Program termination analysis in polynomial time. ACM Trans. Program. Lang. Syst. 29(1): (2007)
	2002
4		Chin Soon Lee: Program Termination Analysis in Polynomial Time. GPCE 2002: 218-235
3		Chin Soon Lee: Finiteness Analysis in Polynomial Time. SAS 2002: 493-508
	2001
2		Chin Soon Lee, Neil D. Jones, Amir M. Ben-Amram: The size-change principle for program termination. POPL 2001: 81-92
	1999
1		Chin Soon Lee: Partial Evaluation of the Euclidean Algorithm, Revisited. Higher-Order and Symbolic Computation 12(2): 203-212 (1999)

Coauthor Index

1	Amir M. Ben-Amram	[2] [5] [6]
2	Neil D. Jones	[2]

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page