3 papers
cs.PL2025
The Autonomous Data Language -- Concepts, Design and Formal Verification
Tom T. P. Franken, Thomas Neele, Jan Friso Groote
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 de…
cs.LO2024
Expressivity of AuDaLa: Turing Completeness and Possible Extensions
Tom T. P. Franken, Thomas Neele
AuDaLa is a recently introduced programming language that follows the new data autonomous paradigm. In this paradigm, small pieces of data execute functions autonomously. Consideri…
cs.PL2024
AuDaLa is Turing Complete
Tom T. P. Franken, Thomas Neele
AuDaLa is a recently introduced programming language that follows the new data autonomous paradigm. In this paradigm, small pieces of data execute functions autonomously. Consideri…