Ownership types were devised nearly 15 years ago to provide a stronger notion of protection
to object-oriented programming languages. Rather than simply protecting the fields of an …

We describe support for modularity in Newspeak, a programming language descended from
Smalltalk [33] and Self [69]. Like Self, all computation—even an object's own access to its …

Object-oriented programming languages support concise navigation of relations
represented by references. However, relations are not first-class citizens and bidirectional …

Software deployment is a complex process, and industrial-strength frameworks such as.
NET, Java, and CORBA all provide explicit support for component deployment. However …

Programming in an open environment remains challenging because it requires combining
modularity, security, concurrency, distribution, and dynamicity. In this paper, we propose an …

Pedigree Types are an intuitive ownership type system requiring minimal programmer
annotations. Reusing the vocabulary of human genealogy, Pedigree Types programmers …

The idea of asserting a program's correctness by a mathematical proof rather than
exhaustive testing has persisted in software system development. The notion of an invariant …

Cyber-physical systems (CPS) are large, distributed embedded systems integrated with
various sensors and actuators. CPS are rapidly emerging as an important computing …

Today's programming languages are still noticeably underdeveloped for the construction of
well-structured concurrent software systems. They typically impose many unnecessary and …

With the advent of multi-processor machines, the time has definitively come to use new
programming models that offer an improved support of concurrency. While various …