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 × France
3 × USA
Collaborated with:
D.A.Schmidt P.D.Mosses H.Kim
Talks about:
semant (4) action (4) pars (3) abstract (2) program (2) languag (2) generat (2) static (2) compos (2) combin (2)

Person: Kyung-Goo Doh

DBLP DBLP: Doh:Kyung=Goo

Facilitated 2 volumes:

LDTA 2012PrCo
LDTA 2011PrCo

Contributed to:

SAS 20132013
SAS 20092009
LDTA 20012001
SCP, 20032003
PEPM 19951995
ESOP 19921992

Wrote 6 papers:

SAS-2013-KimDS #documentation #html #parsing #semantics #validation
Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing (HK, KGD, DAS), pp. 194–214.
SAS-2009-DohKS #parsing #static analysis #string #using
Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology (KGD, HK, DAS), pp. 256–272.
LDTA-2001-DohM #programming language #semantics
Composing Programming Languages by Combining Action-Semantics Modules (KGD, PDM), pp. 87–109.
LDTA-J-2001-DohM #programming language #semantics
Composing programming languages by combining action-semantics modules (KGD, PDM), pp. 3–36.
PEPM-1995-Doh #partial evaluation
Action Transformation by Partial Evaluation (KGD), pp. 230–240.
ESOP-1992-DohS #action semantics #semantics #type system
Extraction of Strong Typing Laws from Action Semantics Definitions (KGD, DAS), pp. 151–166.

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.