| 2008 |
|---|
| 12 | EE | Jan Henry Nyström,
Philip W. Trinder,
David J. King:
High-level distribution for the rapid production of robust telecoms software: comparing C++ and ERLANG.
Concurrency and Computation: Practice and Experience 20(8): 941-968 (2008) |
| 2007 |
|---|
| 11 | EE | Jan Nyström,
Philip W. Trinder,
David J. King:
Evaluating high-level distributed language constructs.
ICFP 2007: 203-212 |
| 2005 |
|---|
| 10 | EE | Paul Baker,
Paul Bristow,
Clive Jervis,
David J. King,
Robert Thomson,
Bill Mitchell,
Simon Burton:
Detecting and resolving semantic pathologies in UML sequence diagrams.
ESEC/SIGSOFT FSE 2005: 50-59 |
| 9 | EE | Jan Henry Nyström,
Philip W. Trinder,
David J. King:
Are High-Level Languages Suitable for Robust Telecoms Software?.
SAFECOMP 2005: 275-288 |
| 2003 |
|---|
| 8 | EE | Jan Henry Nyström,
Philip W. Trinder,
David J. King:
Evaluating distributed functional languages for telecommunications software.
Erlang Workshop 2003: 1-7 |
| 2002 |
|---|
| 7 | EE | Paul Baker,
Paul Bristow,
Clive Jervis,
David J. King,
Bill Mitchell:
Automatic Generation of Conformance Tests from Message Sequence Charts.
SAM 2002: 170-198 |
| 2000 |
|---|
| 6 | EE | Clement A. Baker-Finch,
David J. King,
Philip W. Trinder:
An operational semantics for parallel lazy evaluation.
ICFP 2000: 162-173 |
| 1999 |
|---|
| 5 | | Paul Baker,
Clive Jervis,
David J. King:
An Industrial use of FP: A Tool for Generating Test Scripts from System Specifications.
Scottish Functional Programming Workshop 1999: 126-134 |
| 1998 |
|---|
| 4 | EE | Jon G. Hall,
Clement A. Baker-Finch,
Philip W. Trinder,
David J. King:
Towards an Operational Semantics for a Parallel Non-Strict Functional Language.
IFL 1998: 54-71 |
| 3 | EE | David J. King,
Jon G. Hall,
Philip W. Trinder:
A Strategic Profiler for Glasgow Parallel Haskell.
IFL 1998: 88-102 |
| 1995 |
|---|
| 2 | | David J. King,
John Launchbury:
Structuring Depth-First Search Algorithms in Haskell.
POPL 1995: 344-354 |
| 1992 |
|---|
| 1 | | David J. King,
Philip Wadler:
Combining Monads.
Functional Programming 1992: 134-143 |
