( en | de | ru )

 

Disambiguierung von "Hammond, Kevin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Proof-Carrying Plans.

, , , , , , und . PADL, Volume 11372 von Lecture Notes in Computer Science, Seite 204-220. Springer, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Renate Hammond

Alexander Ali Kevin

George Peter Hammond

Edmund Adukwei Hammond

Kevin Niwek

 

Weitere Publikationen von Autoren mit dem selben Namen

Parallel heuristic search in Haskell., , und . Scottish Functional Programming Workshop, Volume 2 von Trends in Functional Programming, Seite 65-76. Intellect, (2000)Automatic Spark Strategies and Granularity for a Parallel Functional Language Reducer., , und . CONPAR, Volume 854 von Lecture Notes in Computer Science, Seite 521-532. Springer, (1994)Improving Persistent Data Manipulation for Functional Languages., , , und . Functional Programming, Seite 72-84. Springer, (1992)Implementing Haskell Type Classes., und . Functional Programming, Seite 266-286. Springer, (1989)Generic Access to Web and Grid-based Symbolic Computing Services: the SymGrid-Services Framework., , , , und . ISPDC, Seite 143-150. IEEE Computer Society, (2007)Discovering parallel pattern candidates in Erlang., , , , , , , , , und . Erlang Workshop, Seite 13-23. ACM, (2014)A language-independent parallel refactoring framework., , , und . WRT@ICSE, Seite 54-58. ACM, (2012)Mind Your Outcomes: The ΔQSD Paradigm for Quality-Centric Systems Development and Its Application to a Blockchain Case Study., , , , , und . Comput., 11 (3): 45 (2022)The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain., und . Domain-Specific Program Generation, Volume 3016 von Lecture Notes in Computer Science, Seite 127-142. Springer, (2003)Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores., , und . FOPARA, Volume 9964 von Lecture Notes in Computer Science, Seite 101-125. (2015)