2009 | ||
---|---|---|
6 | EE | Chin Soon Lee: Ranking functions for size-change termination. ACM Trans. Program. Lang. Syst. 31(3): (2009) |
5 | EE | Amir M. Ben-Amram, Chin Soon Lee: Ranking Functions for Size-Change Termination II CoRR abs/0903.4382: (2009) |
2007 | ||
4 | EE | Amir M. Ben-Amram, Chin Soon Lee: Program termination analysis in polynomial time. ACM Trans. Program. Lang. Syst. 29(1): (2007) |
2002 | ||
3 | EE | Chin Soon Lee: Program Termination Analysis in Polynomial Time. GPCE 2002: 218-235 |
2 | EE | Chin Soon Lee: Finiteness Analysis in Polynomial Time. SAS 2002: 493-508 |
2001 | ||
1 | EE | Chin Soon Lee, Neil D. Jones, Amir M. Ben-Amram: The size-change principle for program termination. POPL 2001: 81-92 |
1 | Amir M. Ben-Amram | [1] [4] [5] |
2 | Neil D. Jones | [1] |