BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Lee:Chin_Soon

Contributed to:

GPCE 20022002
SAS 20022002
POPL 20012001

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.