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 × Cyprus
1 × USA
1 × United Kingdom
Collaborated with:
N.Tamura M.Banbara T.Hirai J.S.Hodas K.M.Watkins
Talks about:
logic (4) program (3) linear (3) languag (2) intuitionist (1) implement (1) fragment (1) classic (1) analysi (1) tempor (1)

Person: Kyoung-Sun Kang

DBLP DBLP: Kang:Kyoung=Sun

Contributed to:

ICLP 20012001
ICLP 19991999
JICSLP 19981998

Wrote 3 papers:

ICLP-2001-BanbaraKHT #linear #logic programming
Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic (MB, KSK, TH, NT), pp. 315–330.
ICLP-1999-KangT #linear #logic programming #programming language #static analysis
A Static Analysis for Classical Linear Logic Programming Language (KSK, NT), p. 610.
JICSLP-1998-HodasWTK #implementation #linear #logic programming #performance #programming language
Efficient Implementation of a Linear Logic Programming Language (JSH, KMW, NT, KSK), pp. 145–159.

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.