David J. King - RankMe

15 papers A* 1A 5B 1Journal 1Unranked 6

Year	Rank	Type	Title / Venue / Authors
2008	J	`jnl`	High-level distribution for the rapid production of robust telecoms software: comparing C++ and ERLANG. Concurr. Comput. Pract. Exp. Jan Henry Nyström, Philip W. Trinder, David J. King
2007	A	`conf`	Evaluating high-level distributed language constructs. ICFP Jan Henry Nyström, Philip W. Trinder, David J. King
2005	B	`conf`	Are High-Level Languages Suitable for Robust Telecoms Software?. SAFECOMP Jan Henry Nyström, Philip W. Trinder, David J. King
2005	—	`conf`	Detecting and resolving semantic pathologies in UML sequence diagrams. ESEC/SIGSOFT FSE Paul Baker, Paul Bristow, Clive Jervis, David J. King, Robert Thomson, Bill Mitchell, Simon Burton
2003	—	`conf`	Evaluating distributed functional languages for telecommunications software. Erlang Workshop Jan Henry Nyström, Philip W. Trinder, David J. King
2002	—	`conf`	Automatic Generation of Conformance Tests from Message Sequence Charts. SAM Paul Baker, Paul Bristow, Clive Jervis, David J. King, Bill Mitchell
2000	A	`conf`	An operational semantics for parallel lazy evaluation. ICFP Clement A. Baker-Finch, David J. King, Philip W. Trinder
1999	—	`conf`	An Industrial use of FP: A Tool for Generating Test Scripts from System Specifications. Scottish Functional Programming Workshop Paul Baker, Clive Jervis, David J. King
1998	—	`conf`	A Strategic Profiler for Glasgow Parallel Haskell. IFL David J. King, Jon G. Hall, Philip W. Trinder
1998	—	`conf`	Towards an Operational Semantics for a Parallel Non-Strict Functional Language. IFL Jon G. Hall, Clement A. Baker-Finch, Philip W. Trinder, David J. King
1996	—	`—`	Functional programming and graph algorithms. David J. King
1995	A*	`conf`	Structuring Depth-First Search Algorithms in Haskell. POPL David J. King, John Launchbury
1994	A	`conf`	Functional Binomial Queues. Functional Programming David J. King
1993	A	`conf`	Functional Graph Algorithms with Depth-First Search (Preliminary Summary). Functional Programming David J. King, John Launchbury
1992	A	`conf`	Combining Monads. Functional Programming David J. King, Philip Wadler