Issue 2/2023
Content (8 Articles)
Open Access
Research
First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, Certification
Aart Middeldorp, Alexander Lochmann, Fabian Mitterwallner
Open Access
An Automated Approach to the Collatz Conjecture
Emre Yolcu, Scott Aaronson, Marijn J. H. Heule
An Automatically Verified Prototype of the Android Permissions System
Maximiliano Cristiá, Guido De Luca, Carlos Luna
Open Access
Synthesising Programs with Non-trivial Constants
Alessandro Abate, Haniel Barbosa, Clark Barrett, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen, Andrew Reynolds, Cesare Tinelli
Open Access
A Formal Theory of Choreographic Programming
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti