• Publications
  • Influence
Ownership types for flexible alias protection
TLDR
Ownership types form a static type system that indicates object ownership. Expand
  • 647
  • 44
  • PDF
Ownership, encapsulation and the disjointness of type and effect
TLDR
We codify two formal systems for reasoning about aliasing and the disjointness of computational effects in object-oriented programs. Expand
  • 300
  • 30
  • PDF
Belief in the paranormal: A New Zealand survey.
  • 42
  • 8
Simple Ownership Types for Object Containment
TLDR
The formalisation of ownership types has developed from our work with flexible alias protection together with an investigation of structural properties of object graphs based on dominator trees. Expand
  • 137
  • 7
  • PDF
Saving the world from bad beans: deployment-time confinement checking
TLDR
We present an object confinement discipline that allows static verification of components' integrity as they are deployed into an EJB server. Expand
  • 50
  • 6
  • PDF
Minimal Ownership for Active Objects
TLDR
We propose a minimal variant of ownership types that preserves the required race freedom invariant yet enables data transfer by reference between active objects (that is, without copying) in many cases. Expand
  • 72
  • 5
  • PDF
Object ownership for dynamic alias protection
TLDR
We propose using an explicit, run-time notion of object ownership to control aliases between objects in dynamically typed languages. Expand
  • 35
  • 5
First detection of paralytic shellfish poisoning (PSP) toxins in Icelandic mussels (Mytilus edulis): Links to causative phytoplankton species
Abstract Paralytic shellfish poisoning (PSP) toxins were detected in blue mussels (Mytilus edulis) from two harvesting areas, Eyjafjordur on the north coast and Breidafjordur on the west coast ofExpand
  • 19
  • 3
  • PDF
Monadic abstract interpreters
TLDR
We develop a systematic method for transforming a concrete semantics into a monadically-parameterized abstract machine. Expand
  • 19
  • 3
  • PDF
The ins and outs of objects
TLDR
We investigate structural relationships which are inherent in object graphs defined by object references defined by inter-object references. Expand
  • 60
  • 2