LOPSTR 2022: 32nd International Symposium on Logic-based Program Synthesis and Transformation

Your Blockchain Needn’t Care How the Message is Spread. Wolfgang Jeltsch and Javier Díaz.
Building a Join-Optimizer for Soufflé. Samuel Arch, Xiaowen Hu, David Zhao, Pavle Subotić and Bernhard Scholz.
From Infinity to Choreographies: Extraction for Unbounded Systems. Bjørn Angel Kjær, Luís Cruz-Filipe and Fabrizio Montesi.
Analysing Parallel Complexity of Term Rewriting. Thaïs Baudon, Carsten Fuhs and Laure Gonnord.
Towards Clause Learning a la Carte through VarMonads. Arved Friedemann and Oliver Keszocze.
Typed SLD Resolution: Dynamic Typing for Logic Programming. João Barbosa, Mário Florido and Vitor Santos-Costa.
On correctness of normal logic programs. Włodzimierz Drabent.
Model Checking Meets Auto-Tuning High-Performance Programs. Natalia Garanina, Sergey Staroletov and Sergei Gorlatch.
Random Testing of Constrained Recursive Types. Ghiles Ziat, Vincent Botbol, Matthieu Dien, Arnaud Gotlieb, Martin Pépin and Catherine Dubois.
Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming. Sarat Chandra Varanasi, Baoluo Meng, Christopher Alexander, Szabolcs Borgyos and Brendan Hall.
Confluence Framework: Proving Confluence with CONFident. Raúl Gutiérrez, Miguel Vítores and Salvador Lucas.
Variant-based equational anti-unification. María Alpuente, Demis Ballis, Santiago Escobar and Julia Sapiña

Contact Us