Concurrent Objects à la Carte (2009)
Dave Clarke, Einar Broch Johnsen, Olaf Owe
Abstract Services are autonomous, self-describing, technology-neutral software units that can be described, published, discovered, and composed into software applications at run-time. Designing...
Minimal Ownership for Active Objects ⋆ (2009)
Dave Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen
Abstract Active objects offer a structured approach to concurrency, encapsulating both unshared state and a thread of control. For efficient data transfer, data should be passed by reference whenever...
Cscw North, Andrew Monk, Brian Shackel, Book Review, Lon Barfield, Alan Dix, ...
Published by the British HCI Group • ISSN 1351-119X 1
Connector Colouring I: Synchronisation and Context Dependency Abstract (2008)
Dave Clarke, David Costa, Farhad Arbab
Reo is a coordination model based on circuit-like connectors which coordinate components through the interplay of data flow, synchronisation and mutual exclusion, state, and context-dependent...
16 A Study of the Language Used in Internet (2008)
Cassandra Gets Xperienced, Wot No Pride, Alistair Kilgour, Kamaljit Nagpal, Xristine Faulkner, Jo Hyde, ...
Culwin's fluid interaction style potable yet invincible also running this issue …
Generic H A SKELL, SPECIFICALLY (2008)
SKELL exploits the promising new incarnation of generic programming due to Hinze. Apart from extending the programming language Haskell, Hinze-style polytypism offers a simple approach to defining...
Generic H A SKELL, SPECIFICALLY (2008)
SKELL exploits the promising new incarnation of generic programming due to Hinze. Apart from extending the programming language Haskell, Hinze-style polytypism offers a simple approach to defining...
Tobias Wrigstad, Dave Clarke, Johan Östlund, Tobias Wrigstad, Dave Clarke, Beatrice Åkerblom Ownership
Research Objective: Find a research position where I can continue working on programming languages and programming language design, formalisms, hopefully some compiler work and other programming....
Abstract Tribe: A Simple Virtual Class Calculus 1 (2008)
Dave Clarke, Sophia Drossopoulou
Beginning with BETA, a range of programming language mechanisms have been developed to allow inheritance in the presence of mutually dependent classes. This paper presents Tribe, a type system which...
John Boyland, Alex Buckley, Patrice Chalin, Dave Clarke, Paola Giannini, Marieke Huisman, ...
This report contains the papers presented at FTfJP ’07: 9th workshop on Formal
Abstract A Complete Guide to the Future (2008)
We present the semantics and proof theory for an object-oriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, distinguishes itself in that...
John Boyland, Alex Buckley, Patrice Chalin, Dave Clarke, Paola Giannini, Marieke Huisman, ...
This report contains the papers presented at FTfJP ’07: 9th workshop on Formal
16 The ultimate interface and the sums of life? (2008)
Alex Dixon, Tom Mcewan, Dianne Murray, Jonathan Crellin, Cath Dillon, Kit Logan, ...
www.bcs-hci.org.uk Fifty issues of Interfaces and 16 years later – how much has changed?
www.cs.uu.nl External Uniqueness is Unique Enough (2008)
Dave Clarke, Tobias Wrigstad, Dave Clarke, Tobias Wrigstad
Abstract. External uniqueness is a surprising new way to add unique references to an OOPL. The idea is that an externally unique reference is the only reference into an aggregate from outside the...
ABSTRACT Featherweight Generic Confinement (2008)
Alex Potanin, James Noble, Dave Clarke, Robert Biddle
Existing approaches to object encapsulation and confinement either rely on restrictions to programs or require the use of specialised ownership type systems. Syntactic restrictions are difficult to...
Alex Potanin, James Noble, Dave Clarke, Robert Biddle
Existing approaches to object encapsulation either rely on ad hoc syntactic restrictions or require the use of specialised type systems. Syntactic restrictions are difficult to scale and to prove...
Abstract Tribe: A Simple Virtual Class Calculus 1 (2008)
Dave Clarke, Sophia Drossopoulou
Beginning with BETA, a range of programming language mechanisms such as virtual classes (class-valued attributes of objects) have been developed to allow inheritance in the presence of mutually...
Twenty two heterosexual couples living in New Zealand participated in this study regarding helpful, unhelpful and idealized conflict resolution strategies. Thematic analysis was used to extract key...
The Generic H A SKELL Team (2008)
Andres Löh, Johan Jeuring, Thomas Van Noort, Alexey Rodriguez, Dave Clarke, Ralf Hinze, ...
www.cs.uu.nl
Polyhedral oligomeric silsequioxane bound fulleropyrrolidines (2008)
Samoc, Marek, Clarke, Dave, Matisons, Jani, Simon, George, Samoc, Anna
http://ezproxy.flinders.edu.au/login?url=http://www.scopus.com/scopus/openurl/link.url?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&svc.abstract=yes&rft_id=i...
Polyhedral oligomeric silsequioxane bound fulleropyrrolidines (2008)
Samoc, Marek, Clarke, Dave, Matisons, Jani, Simon, George, Samoc, Anna
http://ezproxy.flinders.edu.au/login?url=http://www.scopus.com/scopus/openurl/link.url?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&svc.abstract=yes&rft_id=i...
Polyhedral oligomeric silsequioxane bound fulleropyrrolidines (2008)
Samoc, Marek, Clarke, Dave, Matisons, Jani, Simon, George, Samoc, Anna
http://ezproxy.flinders.edu.au/login?url=http://www.scopus.com/scopus/openurl/link.url?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&svc.abstract=yes&rft_id=i...
Polyhedral oligomeric silsequioxane bound fulleropyrrolidines (2008)
Samoc, Marek, Clarke, Dave, Matisons, Jani, Simon, George, Samoc, Anna
http://ezproxy.flinders.edu.au/login?url=http://www.scopus.com/scopus/openurl/link.url?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&svc.abstract=yes&rft_id=i...
Polyhedral oligomeric silsequioxane bound fulleropyrrolidines (2008)
Samoc, Marek, Clarke, Dave, Matisons, Jani, Simon, George, Samoc, Anna
http://ezproxy.flinders.edu.au/login?url=http://www.scopus.com/scopus/openurl/link.url?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&svc.abstract=yes&rft_id=i...
Polyhedral oligomeric silsequioxane bound fulleropyrrolidines (2008)
Samoc, Marek, Clarke, Dave, Matisons, Jani, Simon, George, Samoc, Anna
http://ezproxy.flinders.edu.au/login?url=http://www.scopus.com/scopus/openurl/link.url?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&svc.abstract=yes&rft_id=i...
www.cs.uu.nl External Uniqueness is Unique Enough (2007)
Dave Clarke, Dave Clarke, Tobias Wrigstad, Tobias Wrigstad
Abstract. External uniqueness is a surprising new way to add unique references to an OOPL. The idea is that an externally unique reference is the only reference into an aggregate from outside the...
The Generic H A SKELL User’s Guide Version 1.23 — Beryl release The Generic H A (2007)
Dave Clarke, Dæv Clarke, Johan Jeuring, Johan Jeuring, Andres Löh, Andres Löh
www.cs.uu.nl
Audience-Centric Taxonomy: Using Taxonomies to Support Heterogeneous User Communities (2007)
Dave Clarke; Dow Jones, Pei Jiun Tan; National Library Board, Singapore
Controlled vocabularies enhance precision and recall but sometimes they achieve this at the expense of imposing a prescribed terminology and a homogeneous worldview upon a heterogeneous user...
Karin Du Plessis, Dave Clarke, Cheryl C. Woolley
Attachment theory focuses on the cognitive models that underlie our interactions with attachment figures. Global or generalized mental models are thought to develop on the basis of attachment models...
A complete guide to the future (2007)
Dave Clarke, Einar Broch Johnsen
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, distinguishes itself in...
The Generic H A SKELL Team (2006)
Andres Löh, Johan Jeuring, Alexey Rodriguez (editors, Andres Löh (editor, Johan Jeuring (editor, Alexey Rodriguez (editor, ...
www.cs.uu.nl
Controlling object allocation using creation guards (2005)
Abstract. Sharing of objects between different modules is often necessary to meet speed and resource demands. The invariants that describe properties of shared objects are difficult to maintain...
The Generic Haskell User's Guide - Version 1.42 - Coral release (2005)
Andres Löh, Johan Jeuring, Andres Löh (editor, Johan Jeuring (editor, Dave Clarke, Jan De Wit, ...
Contents SKELL? 5 1.1 Generic programming . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 SKELL overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2 Installation 6 2.1...
Reasoning about Connector Reconfiguration II: Basic reconfiguration Logic (2005)
Reasoning about connector reconfiguration II: basic
Coote, Trevor., Clarke, Dave., Hickman, Carole Jean Stentz., Murray, James., Pearce-Kelly, Paul.
Pacific Science - Volume 58, Number 3, July 2004
Alex Potanin, James Noble, Dave Clarke, Robert Biddle
Abstract. Object ownership is an approach to controlling aliasing in programming languages. Proposals for adding ownership to programming languages do not directly support type genericity. We present...
Defaulting Generic Java to Ownership (2004)
Alex Potanin James, James Noble, Dave Clarke, Robert Biddle
Generic ownership is a mechanism for seamlessly combining ownership and genericity.
A characteristic property of the invariants underlying creational design patterns is that they quantify over all the objects (of a certain class). We examine such invariants, determining the...
UUXML: A Type-Preserving XML Schema-Haskell Data Binding (2004)
Frank Atanassow, Dave Clarke, Johan Jeuring
An XML data binding is a translation of XML documents into values of some programming language. This paper discusses a type-preserving XML-Haskell data binding that handles documents typed by the W3C...
Defaulting Generic Java to Ownership (2004)
Alex Potanin, James Noble, Dave Clarke, Robert Biddle
Abstract. Generic ownership is a mechanism for seamlessly combining ownership and genericity. Every class in Ownership Generic Java (OGJ) has an owner parameter as the last type argument. Defaulting...
Alex Potanin, James Noble, Dave Clarke, Robert Biddle
Abstract. Object ownership is an approach to controlling aliasing in programming languages. Proposals for adding ownership to programming languages do not directly support type genericity. We present...
Scripting XML with Generic Haskell (2003)
Frank Atanassow, Dave Clarke, Johan Jeuring
Abstract. A generic program is written once and works on values of many data types. Generic Haskell is a recent extension of the functional programming language Haskell that supports generic...
Towards a model of encapsulation (2003)
James Noble, Robert Biddle, Ewan Tempero, Alex Potanin, Dave Clarke
Abstract. Encapsulation is a founding principle of object-oriented programming: to this end, there have been a number of recent of proposals to increase programming languages ’ support for...
External uniqueness is unique enough (2003)
Abstract. External uniqueness is a surprising new way to add unique references to an OOPL. The idea is that an externally unique reference is the only reference into an aggregate from outside the...
www.cs.uu.nl Scripting XML with Generic Haskell (2003)
Frank Atanassow, Dave Clarke, Johan Jeuring, Frank Atanassow, Dave Clarke, Johan Jeuring
A generic program is written once and works on values of many data types. Generic Haskell is a recent extension of the functional programming language Haskell that supports generic programming. This...
Existing approaches to adding unique references to objectoriented programming languages suer from two problems, which we identify in this paper: the abstraction problem and the orthogonality problem....
Saving the world from bad Beans: Deployment-time confinement checking (2003)
Dave Clarke, Michael Richmond, James Noble
The Enterprise JavaBeaus (EJB) framexvork requires devel-opers to preserve architectural integrity constraints when writing EJB components. Breaking these constraints allows components to violate the...
Saving the world from bad Beans: Deployment-time confinement checking (2003)
The Enterprise JavaBeans (EJB) framework requires developers to preserve architectural integrity constraints when writing EJB components. Breaking these constraints allows components to violate the...
Exploring Generic Haskell (2003)
Andres Löh, Andres Löh, Dave Clarke, Dave Clarke, Johan Jeuring, Johan Jeuring
Generic Haskell is an extension of Haskell that supports the construction of generic programs. During the development of several applications, such as an XML editor and compressor, we encountered a...
Scripting XML with Generic Haskell (2003)
Frank Atanassow, Frank Atanassow, Dave Clarke, Dave Clarke, Johan Jeuring, Johan Jeuring
A generic program is written once and works on values of many data types. Generic Haskell is a recent extension of the functional programming language Haskell that supports generic programming. This...
Dave Clarke (ed.), Edited Dave Clarke, Dave Clarke (editor, Rasekhar Boyapati, Robert Lee, Martin Rinard, ...
This paper describes an e#cient technique for supporting safe runtim downcasts in asystem with ownership types. This technique uses the type passing approach, but avoids the associated significant...
Dependency-style Generic Haskell (2003)
Andres Loh, Andres Löh, Dave Clarke, Johan Jeuring
Generic Haskell is an extension of Haskell that supports the construction of generic programs. During the development of several applications, such as an XML editor and compressor, we encountered a...
Ownership, Encapsulation and the Disjointness of Type and Effect (2002)
Dave Clarke, Sophia Drossopoulou
Ownership types provide a statically enforceable notion of object-level encapsulation. We extend ownership types with computational e#ects to support reasoning about objectoriented programs. The...