Work

The Autonomous Data Language – Concepts, design and formal verification

Year: 2025

Type: article

Abstract: Nowadays, the main advances in computational power are due to parallelism. However, most parallel languages have been designed with a focus on processors and threads. This makes dealing with data and memory in programs hard, which distances the implementation from its original algorithm. We propose a new paradigm for parallel programming, the data-autonomous paradigm, where computation is performed by autonomous data elements. Programs in this paradigm are focused on making the data collaborate in a highly parallel fashion. We furthermore present AuDaLa, the first data autonomous programming language, and provide a full formalisation that includes a type system and operational semantics. Programming in AuDaLa is very natural, as illustrated by examples, albeit in a style very different from sequential and contemporary parallel programming. Additionally, it lends itself for the formal verification of parallel programs, which we demonstrate.

Source: Theoretical Computer Science

DOI: 10.1016/j.tcs.2025.115560

Authors: Tom T.P. Franken, Thomas Neele, Jan Friso Groote

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $2,880

Funder: Nederlandse Organisatie voor Wetenschappelijk Onderzoek

Award: Explainable Formal Methods with Certificates