David J. King

According to our database, David J. King authored at least 15 papers between 1992 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

High-level distribution for the rapid production of robust telecoms software: comparing C++ and ERLANG.

Jan Henry Nyström, Philip W. Trinder, David J. King

Concurr. Comput. Pract. Exp., 2008

2007

Evaluating high-level distributed language constructs.

Jan Henry Nyström, Philip W. Trinder, David J. King

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

2005

Detecting and resolving semantic pathologies in UML sequence diagrams.

Paul Baker, Paul Bristow, Clive Jervis, David J. King, Robert Thomson, Bill Mitchell, Simon Burton

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Are High-Level Languages Suitable for Robust Telecoms Software?.

Jan Henry Nyström, Philip W. Trinder, David J. King

Proceedings of the Computer Safety, 2005

2003

Evaluating distributed functional languages for telecommunications software.

Jan Henry Nyström, Philip W. Trinder, David J. King

Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, Uppsala, Sweden, August 29, 2003, 2003

2002

Automatic Generation of Conformance Tests from Message Sequence Charts.

Paul Baker, Paul Bristow, Clive Jervis, David J. King, Bill Mitchell

Proceedings of the Telecommunications and beyond: The Broader Applicability of SDL and MSC, 2002

2000

An operational semantics for parallel lazy evaluation.

Clement A. Baker-Finch, David J. King, Philip W. Trinder

Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000

1999

An Industrial use of FP: A Tool for Generating Test Scripts from System Specifications.

Paul Baker, Clive Jervis, David J. King

Proceedings of the Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), 1999

1998

A Strategic Profiler for Glasgow Parallel Haskell.

David J. King, Jon G. Hall, Philip W. Trinder

Proceedings of the Implementation of Functional Languages, 10th International Workshop, 1998

Towards an Operational Semantics for a Parallel Non-Strict Functional Language.

Jon G. Hall, Clement A. Baker-Finch, Philip W. Trinder, David J. King

Proceedings of the Implementation of Functional Languages, 10th International Workshop, 1998

1996

Functional programming and graph algorithms.

David J. King

PhD thesis, 1996

1995

Structuring Depth-First Search Algorithms in Haskell.

David J. King, John Launchbury

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

1994

Functional Binomial Queues.

David J. King

Proceedings of the 1994 Glasgow Workshop on Functional Programming, 1994

1993

Functional Graph Algorithms with Depth-First Search (Preliminary Summary).

David J. King, John Launchbury

Proceedings of the 1993 Glasgow Workshop on Functional Programming, 1993

1992

Combining Monads.

David J. King, Philip Wadler

Proceedings of the Functional Programming, 1992