( en | de | ru )

 

Disambiguation of "Hammond, Kevin"

Author of the publication

copydeleteadd this publication to your clipboard
Towards Formally Verifiable WCET Analysis for a Functional Programming Language

, , , , , , , , , , , and . (2006)6th Intl WORKSHOP ON WORST-CASE EXECUTION TIME (WCET) ANALYSIS Dresden, Germany, July 4, 2006 http://moss.csc.ncsu.edu/~mueller/wcet06 in conjunction with the 18th Euromicro Intl Conference on Real-Time Systems Dresden, Germany, July 5 - 7, 2006 http://moss.csc.ncsu.edu/~mueller/wcet06/accepted/1.html.

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Renate Hammond

Alexander Ali Kevin

George Peter Hammond

Edmund Adukwei Hammond

Kevin Thurley

 

Other publications of authors with the same name

Parallel heuristic search in Haskell., , and . Scottish Functional Programming Workshop, volume 2 of Trends in Functional Programming, page 65-76. Intellect, (2000)Special issue on Parallel and distributed computing based on the functional programming paradigm., , , , and . Concurr. Comput. Pract. Exp., (2018)Improving Persistent Data Manipulation for Functional Languages., , , and . Functional Programming, page 72-84. Springer, (1992)The Peter Landin prize., and . High. Order Symb. Comput., 22 (4): 305-312 (2009)Automatic Spark Strategies and Granularity for a Parallel Functional Language Reducer., , and . CONPAR, volume 854 of Lecture Notes in Computer Science, page 521-532. Springer, (1994)Implementing Haskell Type Classes., and . Functional Programming, page 266-286. Springer, (1989)Algebraic Reasoning About Timeliness., , , , , , , and . ICE, volume 383 of EPTCS, page 35-54. (2023)Discovering parallel pattern candidates in Erlang., , , , , , , , , and . Erlang Workshop, page 13-23. ACM, (2014)A language-independent parallel refactoring framework., , , and . WRT@ICSE, page 54-58. ACM, (2012)Generic Access to Web and Grid-based Symbolic Computing Services: the SymGrid-Services Framework., , , , and . ISPDC, page 143-150. IEEE Computer Society, (2007)