Work

Exploring the Design Space for Runtime Enforcement of Dynamic Capabilities

Year: 2025

Type: conference-paper

Abstract: Dala is an "as simple as possible" concurrent object-oriented language designed to avoid data races. Dala objects come in three safe flavours: immutable, isolated, and local, plus a fourth unsafe flavour. The objects are organised into an hierarchy so that e.g. immutable objects can be accessed from anywhere but never mutated, while thread local objects can be mutated but cannot be accessed outside their containing thread.

Source: ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!)

DOI: 10.1145/3759429.3762625

Authors: Andrew Fawcet, James Noble, Michael Homer

Institution: Victoria University of Wellington

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funders: Royal Society Te Apārangi, Marsden Fund

Award: G7243356095