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 × Canada
1 × Germany
1 × Portugal
1 × USA
1 × United Kingdom
Collaborated with:
P.W.Trinder C.A.Baker-Finch J.G.Hall J.Launchbury J.H.Nyström P.Baker P.Bristow C.Jervis R.Thomson B.Mitchell S.Burton
Talks about:
parallel (3) semant (3) languag (2) haskel (2) evalu (2) oper (2) distribut (1) construct (1) algorithm (1) structur (1)

Person: David J. King

DBLP DBLP: King:David_J=

Contributed to:

ICFP 20072007
ESEC/FSE 20052005
ICFP 20002000
IFL 19981998
POPL 19951995

Wrote 6 papers:

ICFP-2007-NystromTK #distributed
Evaluating high-level distributed language constructs (JHN, PWT, DJK), pp. 203–212.
ESEC-FSE-2005-BakerBJKTMB #detection #diagrams #semantics #sequence chart #uml
Detecting and resolving semantic pathologies in UML sequence diagrams (PB, PB, CJ, DJK, RT, BM, SB), pp. 50–59.
ICFP-2000-Baker-FinchKT #evaluation #lazy evaluation #parallel #semantics
An operational semantics for parallel lazy evaluation (CABF, DJK, PWT), pp. 162–173.
IFL-1998-HallBTK #functional #parallel #semantics #strict #towards
Towards an Operational Semantics for a Parallel Non-Strict Functional Language (JGH, CABF, PWT, DJK), pp. 54–71.
IFL-1998-KingHT #haskell #parallel #profiling
A Strategic Profiler for Glasgow Parallel Haskell (DJK, JGH, PWT), pp. 88–102.
POPL-1995-KingL #algorithm #haskell
Structuring Depth-First Search Algorithms in Haskell (DJK, JL), pp. 344–354.

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.