David J. King

Publication Activity (10 Years)

Years Active: 1992-2008
Publications (10 Years): 0

University of Glasgow, UK (PHD)

Education History

University of Glasgow, UK

PHD

Publications

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. Concurr. Comput. Pract. Exp. 20 (8) (2008)
Jan Henry Nyström, Philip W. Trinder, David J. King
Evaluating high-level distributed language constructs. ICFP (2007)
Jan Henry Nyström, Philip W. Trinder, David J. King
Are High-Level Languages Suitable for Robust Telecoms Software?. SAFECOMP (2005)
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)
Jan Henry Nyström, Philip W. Trinder, David J. King
Evaluating distributed functional languages for telecommunications software. Erlang Workshop (2003)
Paul Baker, Paul Bristow, Clive Jervis, David J. King, Bill Mitchell
Automatic Generation of Conformance Tests from Message Sequence Charts. SAM (2002)
Clement A. Baker-Finch, David J. King, Philip W. Trinder
An operational semantics for parallel lazy evaluation. ICFP (2000)
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)
David J. King, Jon G. Hall, Philip W. Trinder
A Strategic Profiler for Glasgow Parallel Haskell. IFL (1998)
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)
David J. King, John Launchbury
Structuring Depth-First Search Algorithms in Haskell. POPL (1995)
David J. King
Functional Binomial Queues. Functional Programming (1994)
David J. King, John Launchbury
Functional Graph Algorithms with Depth-First Search (Preliminary Summary). Functional Programming (1993)
David J. King, Philip Wadler
Combining Monads. Functional Programming (1992)

David J. King.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

David J. King