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 …

Fueled by the success of Rust, many programming languages are adding substructural
features to their type systems. The promise of tracking properties such as lifetimes and …

Ownership type systems, based on the idea of enforcing unique access paths, have been
primarily focused on objects and top-level classes. However, existing models do not as …

Dubbed a safer C, Rust is a modern programming language that combines memory safety
and low-level control. This interesting combination has made Rust very popular among …

First-class functions dramatically increase expressiveness, at the expense of static
guarantees. In ALGOL or PASCAL, functions could be passed as arguments but never …

Developing a real-time system in Java requires awareness of memory behaviour in addition
to software functional requirements. The Real-Time Specification for Java (RTSJ) introduces …

Object ownership enforces encapsulation within object-oriented programs by forbidding
incoming aliases into objects' representations. Many common data structures, such as …

Internet services are implemented as hierarchical aggregates of communicating
components: networks of data centers, networks of clusters in a data center, connected …

We present the design of a formal low-level multi-threaded language with advanced region-
based memory management and synchronization primitives, where well-typed programs are …

Tribal Ownership unifies class nesting and object ownership. Tribal Ownership is based on
Tribe, a language with nested classes and object families. In Tribal Ownership, a program's …