| 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 |
