Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
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.LO2024
Operations on Fixpoint Equation Systems
Thomas Neele, Jaco van de Pol
We study operations on fixpoint equation systems (FES) over arbitrary complete lattices. We investigate under which conditions these operations, such as substituting variables by t…