Seuraa
Dave Clarke
Dave Clarke
Independent
Vahvistettu sähköpostiosoite verkkotunnuksessa storytel.com
Nimike
Viittaukset
Viittaukset
Vuosi
Ownership types for flexible alias protection
DG Clarke, JM Potter, J Noble
ACM SIGPLAN Notices 33 (10), 48-64, 1998
8341998
Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface
VP Gerdt, W Koepf, EW Mayr, EV Vorozhtsov
Lecture Notes in Computer Science 8136, V-VIII-V-VIII, 2013
355*2013
Ownership, encapsulation and the disjointness of type and effect
D Clarke, S Drossopoulou
ACM SIGPLAN Notices 37 (11), 292-310, 2002
3402002
A complete guide to the future
F de Boer, D Clarke, E Johnsen
Programming Languages and Systems, 316-330, 2007
2432007
Object ownership and containment
D Clarke
University of New South Wales, 2001
2322001
External uniqueness is unique enough
D Clarke, T Wrigstad
ECOOP 2003–Object-Oriented Programming, 59-67, 2003
2252003
Delivery catheter system with micro and macro movement control
R Murray, S Upadhyaya, M Casley, P Macaulay, A Masud, P Cassidy, ...
US Patent 10,639,150, 2020
2152020
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, 477-495, 2012
2062012
Simple ownership types for object containment
D Clarke, J Noble, J Potter
ECOOP 2001—Object-Oriented Programming, 53-76, 2001
1702001
Abstract delta modeling
D Clarke, M Helvensteijn, I Schaefer
ACM SIGPLAN Notices 46 (2), 13-22, 2010
1552010
Connector Colouring I: Synchronization and Context Dependency
DG Clarke, D Costa, F Arbab
Science of Computer Programming 66 (3), 205-225, 2007
1342007
Delivery catheter system with micro and macro movement control
R Murray, S Upadhyaya, M Casley, P Macaulay, A Masud, P Cassidy, ...
US Patent 9,144,494, 2015
1322015
Generic ownership for generic Java
A Potanin, J Noble, D Clarke, R Biddle
ACM SIGPLAN Notices 41 (10), 311-324, 2006
1242006
Ownership types: A survey
D Clarke, J Östlund, I Sergey, T Wrigstad
Aliasing in object-oriented programming. types, analysis and verification, 15-58, 2013
1222013
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
1172015
Formal approaches to secure compilation: A survey of fully abstract compilation and related work
M Patrignani, A Ahmed, D Clarke
ACM Computing Surveys (CSUR) 51 (6), 1-36, 2019
992019
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore
S Brandauer, E Castegren, D Clarke, K Fernandez-Reyes, EB Johnsen, ...
Formal Methods for Multicore Programming: 15th International School on …, 2015
932015
Minimal ownership for active objects
D Clarke, T Wrigstad, J Östlund, E Johnsen
Programming Languages and Systems, 139-154, 2008
932008
Generic HVSKELL, Specifically
D Clarke, A Loh
Generic programming: IFIP TC2/WG2. 1 Working Conference on Generic …, 2003
802003
The ins and outs of objects
J Potter, J Noble, D Clarke
Proceeding of 1998 Australian Software Engineering Conference., 80-89, 1998
781998
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20