Dave Clarke
TitleCited byYear
Ownership types for flexible alias protection
DG Clarke, JM Potter, J Noble
ACM SIGPLAN Notices 33 (10), 48-64, 1998
7061998
Ownership, encapsulation and the disjointness of type and effect
D Clarke, S Drossopoulou
ACM SIGPLAN Notices 37 (11), 292-310, 2002
3212002
Object ownership and containment
D Clarke
University of New South Wales, 2001
220*2001
A complete guide to the future
F de Boer, D Clarke, E Johnsen
Programming Languages and Systems, 316-330, 2007
2092007
External uniqueness is unique enough
D Clarke, T Wrigstad
ECOOP 2003–Object-Oriented Programming, 59-67, 2003
1982003
Simple ownership types for object containment
D Clarke, J Noble, J Potter
ECOOP 2001—Object-Oriented Programming, 53-76, 2001
1452001
Software diversity: state of the art and perspectives
I Schaefer, R Rabiser, D Clarke, L Bettini, D Benavides, G Botterweck, ...
International Journal on Software Tools for Technology Transfer 14 (5), 477-495, 2012
1382012
Connector Colouring I: Synchronization and Context Dependency
DG Clarke, D Costa, F Arbab
Science of Computer Programming 66 (3), 205-225, 2007
1222007
Abstract delta modeling
D Clarke, M Helvensteijn, I Schaefer
ACM SIGPLAN Notices 46 (2), 13-22, 2010
1122010
Generic ownership for generic Java
A Potanin, J Noble, D Clarke, R Biddle
ACM SIGPLAN Notices 41 (10), 311-324, 2006
952006
Minimal ownership for active objects
D Clarke, T Wrigstad, J Östlund, E Johnsen
Programming Languages and Systems, 139-154, 2008
822008
Secure compilation to protected module architectures
M Patrignani, P Agten, R Strackx, B Jacobs, D Clarke, F Piessens
ACM Transactions on Programming Languages and Systems (TOPLAS) 37 (2), 1-50, 2015
812015
Generic HVSKELL, Specifically
D Clarke, A Loh
Generic programming: IFIP TC2/WG2. 1 Working Conference on Generic …, 2003
752003
The ins and outs of objects
J Potter, J Noble, D Clarke
Proceeding of 1998 Australian Software Engineering Conference., 80-89, 1998
681998
Parallel objects for multicores: A glimpse at the parallel language encore
S Brandauer, E Castegren, D Clarke, K Fernandez-Reyes, EB Johnsen, ...
International School on Formal Methods for the Design of Computer …, 2015
662015
Dependency-style generic haskell
A Löh, D Clarke, J Jeuring
ACM SIGPLAN Notices 38 (9), 141-152, 2003
662003
Saving the world from bad beans: deployment-time confinement checking
D Clarke, M Richmond, J Noble
ACM SIGPLAN Notices 38 (11), 374-387, 2003
632003
Tribe: a simple virtual class calculus
D Clarke, S Drossopoulou, J Noble, T Wrigstad
Proceedings of the 6th international conference on Aspect-oriented software …, 2007
612007
Ownership types: A survey
D Clarke, J Östlund, I Sergey, T Wrigstad
Aliasing in Object-Oriented Programming. Types, Analysis and Verification, 15-58, 2013
562013
Ownership, uniqueness, and immutability
J Östlund, T Wrigstad, D Clarke, B Åkerblom
Objects, Components, Models and Patterns, 178-197, 2008
552008
The system can't perform the operation now. Try again later.
Articles 1–20