Travelled to:1 × Australia
1 × Austria
1 × Canada
1 × Hungary
2 × USA
Collaborated with:J.Noble J.Potter S.Drossopoulou M.Richmond
Talks about:ownership (4) type (4) protect (2) object (2) alia (2) hierarch (1) encapsul (1) disjoint (1) flexibl (1) contain (1)
Person: David G. Clarke
DBLP: Clarke:David_G=
Contributed to:
2006
20032002
2001
19991998Wrote 6 papers:
- ESOP-2006-DrossopoulouCN
- Types for Hierarchic Shapes (SD, DGC, JN), pp. 1–6.
- OOPSLA-2003-ClarkeRN
- Saving the world from bad beans: deployment-time confinement checking (DGC, MR, JN), pp. 374–387.
- OOPSLA-2002-ClarkeD #encapsulation
- Ownership, encapsulation and the disjointness of type and effect (DGC, SD), pp. 292–310.
- ECOOP-2001-ClarkeNP
- Simple Ownership Types for Object Containment (DGC, JN, JP), pp. 53–76.
- TOOLS-PACIFIC-1999-NobleCP #alias
- Object Ownership for Dynamic Alias Protection (JN, DGC, JP), pp. 176–187.
- OOPSLA-1998-ClarkePN #alias #flexibility
- Ownership Types for Flexible Alias Protection (DGC, JP, JN), pp. 48–64.