Object ownership is useful for many applications, including program verification, thread
synchronization, and memory management. However, the annotation overhead of …

Atomic regions are an important concept in correct concurrent programming: since atomic
regions can be viewed as having executed in a single step, atomicity greatly reduces the …

Ownership is a powerful concept to structure the object store and to control aliasing and
modifications of objects. This article presents an ownership type system for a Java-like …

Abstract We present Generic Universe Types, a sound, lightweight ownership type system
for type-generic object-oriented programming languages, which cleanly separates the …

We recently developed a static analysis to extract runtime architectures from object-oriented
programs written in existing languages. The approach relies on adding ownership domain …

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 …

A high-level architectural diagram of a system's organization can be useful during software
evolution. Often, such a diagram is missing, hence the need to extract one from the code …

The box model is a lightweight component model for the object-oriented paradigm, which
structures the flat object-heap into hierarchical runtime components called boxes. Boxes …

Types for Flexible Objects - Building a Typed Scripting Language Page 1 Types for Flexible
Objects Building a Typed Scripting Language Pottayil Harisanker Menon, Zachary Palmer …

It is hard to statically check a system's conformance to its runtime architectural structure.
Previous approaches address the code architecture, change the language radically …