Dave Clarke - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2010

Coordination Models and Languages, 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. ProceedingsDave Clarke, Gul A. Agha, editors, Volume 6116 of Lecture Notes in Computer Science, Springer, 2010. [doi]

Abstract Delta ModelingDave Clarke, Michiel Helvensteijn, Ina Schaefer. GPCE 2010:

Concurrent Objects à la CarteDave Clarke, Einar Broch Johnsen, Olaf Owe. BIRTHDAY 2010: 185-206 [doi]

2009

Automata for Context-Dependent ConnectorsMarcello M. Bonsangue, Dave Clarke, Alexandra Silva. coordination 2009: 184-203 [doi]

Deconstructing ReoDave Clarke, JosÃ© ProenÃ§a, Alexander Lazovik, Farhad Arbab. ENTCS, 229(2):43-58, 2009. [doi]

Decomposing port automataChristian Koehler, Dave Clarke. SAC 2009: 1369-1373 [doi]

2008

Tiles for ReoFarhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari. WADT 2009: 37-55 [doi]

A Basic Logic for Reasoning about Connector ReconfigurationDave Clarke. FUIN, 82(4):361-390, 2008. [doi]

Aliasing, Confinement, and Ownership in Object-Oriented ProgrammingDave Clarke, Sophia Drossopoulou, Peter Müller, James Noble, Tobias Wrigstad. ECOOPW 2009: 30-41 [doi]

Minimal Ownership for Active ObjectsDave Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen. aplas 2008: 139-154 [doi]

Modeling Component Connectors: Synchronisation and Context-DependencyMohammad Izadi, Marcello M. Bonsangue, Dave Clarke. sefm 2008: 303-312 [doi]

Coordination Models Orc and Reo ComparedJosé Proença, Dave Clarke. ENTCS, 194(4):57-76, 2008. [doi]

Ownership, Uniqueness, and ImmutabilityJohan Östlund, Tobias Wrigstad, Dave Clarke, Beatrice Åkerblom. TOOLS 2008: 178-197 [doi]

2007

Formal Techniques for Java-Like ProgramsJohn Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter. ECOOPW 2008: 99-107 [doi]

Tribe: a simple virtual class calculusDave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad. AOSD 2007: 121-134 [doi]

Coordination: Reo, Nets, and LogicDave Clarke. FMCO 2008: 226-256 [doi]

Connector colouring I: Synchronisation and context dependencyDave Clarke, David Costa, Farhad Arbab. SCP, 66(3):205-225, 2007. [doi]

Aliasing, Confinement, and Ownership in Object-Oriented ProgrammingDave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad. ECOOPW 2008: 40-49 [doi]

A Complete Guide to the FutureFrank S. de Boer, Dave Clarke, Einar Broch Johnsen. ESOP 2007: 316-330 [doi]

Existential Owners for Ownership TypesTobias Wrigstad, Dave Clarke. jot, 6(4), 2007. [doi]

2006

2005

Controlling Object Allocation Using Creation GuardsCees Pierik, Dave Clarke, Frank S. de Boer. fm 2005: 59-74 [doi]

2004

UUXML: A Type-Preserving XML Schema-Haskell Data BindingFrank Atanassow, Dave Clarke, Johan Jeuring. padl 2004: 71-85 [doi]

Modelling Coordination in Biological SystemsDave Clarke, David Costa, Farhad Arbab. isola 2006: 9-25 [doi]

Modelling Coordination in Biological SystemsDave Clarke, David Costa, Farhad Arbab. isola 2004: 58-66

2003

2002

Generic Haskell, SpecificallyDave Clarke, Andres Löh. ifip2-1 2003: 21-47

2001

The Generic Haskell User's GuideDave Clarke, Johan Jeuring, Andres Löh. 2001.

1999

Object Ownership for Dynamic Alias ProtectionJames Noble, Dave Clarke, John Potter. TOOLS 1999: 176-187 [doi]

1998

The Ins and Outs of ObjectsJohn Potter, James Noble, Dave Clarke. aswec 1998: 80-89 [doi]