3 papers
cs.SE2025
Reflections on the design, applications and implementations of the normative specification language eFLINT
L. Thomas van Binsbergen, Christopher A. Esterhuyse, Tim Müller
Checking the compliance of software against laws, regulations and contracts is increasingly important and costly as the embedding of software into societal practices is becoming mo…
cs.LO2025
JustAct: A Framework for Auditable Multi-Agent Systems Regulated by Inter-Organisational Policies
Christopher A. Esterhuyse, Tim Müller, L. Thomas van Binsbergen
In open multi-agent agent systems that cross organisational boundaries, agent actions must be regulated by complex policies. Consider medical data processing systems, which must ob…
cs.CL2023
Happy-GLL: modular, reusable and complete top-down parsers for parameterized nonterminals
L. Thomas van Binsbergen, Damian Frolich
Parser generators and parser combinator libraries are the most popular tools for producing parsers. Parser combinators use the host language to provide reusable components in the f…