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 × Taiwan
1 × USA
Collaborated with:
S.Ryu H.Roh S.Lee
Talks about:
javascript (1) properti (1) fortress (1) multipl (1) generic (1) automat (1) tempor (1) system (1) specif (1) formal (1)

Person: Seonghoon Kang

DBLP DBLP: Kang:Seonghoon

Contributed to:

OOPSLA 20122012
SAC 20112011
ICPR v4 20002000

Wrote 3 papers:

OOPSLA-2012-KangR #javascript #specification
Formal specification of a JavaScript module system (SK, SR), pp. 621–638.
SAC-2011-KangR #automation #named #testing
FortressCheck: automatic testing for generic properties (SK, SR), pp. 1290–1296.
ICPR-v4-2000-RohKL #modelling #multi #people #using
Multiple People Tracking Using an Appearance Model Based on Temporal Color (HKR, SK, SWL), pp. 4643–4646.

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.