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: King:David_J=
Contributed to:
2007
20052000
1998
1995Wrote 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.