Travelled to:1 × Spain
1 × USA
1 × United Kingdom
Collaborated with:∅ N.D.Jones A.M.Ben-Amram
Talks about:polynomi (2) program (2) analysi (2) termin (2) time (2) principl (1) finit (1) chang (1) size (1)
Person: Chin Soon Lee
DBLP: Lee:Chin_Soon
Contributed to:
2002
2002
2001Wrote 3 papers:
- GPCE-2002-Lee #analysis #polynomial #termination
- Program Termination Analysis in Polynomial Time (CSL), pp. 218–235.
- SAS-2002-Lee #analysis #polynomial
- Finiteness Analysis in Polynomial Time (CSL), pp. 493–508.
- POPL-2001-LeeJB #termination
- The size-change principle for program termination (CSL, NDJ, AMBA), pp. 81–92.