LOPSTR

Keyphrases

Publications

2023

Maribel Fernández
Unification Modulo Equational Theories in Languages with Binding Operators (Invited Talk). LOPSTR (2023)
Anna Bamberger, Maribel Fernández
From Static to Dynamic Access Control Policies via Attribute-Based Category Mining. LOPSTR (2023)
Marco Carbone, Sonia Marin, Carsten Schürmann
A Logical Interpretation of Asynchronous Multiparty Compatibility. LOPSTR (2023)
Gonzague Yernaux, Wim Vanhoof
Predicate Anti-unification in (Constraint) Logic Programming. LOPSTR (2023)
John P. Gallagher, Manuel V. Hermenegildo, José F. Morales, Pedro López-García
Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation. LOPSTR (2023)
Peter Lozov, Dmitry Kosarev, Dmitry Ivanov, Dmitry Boulytchev
Relational Solver for Java Generics Type System. LOPSTR (2023)
Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Ekaterina Komendantskaya, Guy Katz
Towards a Certified Proof Checker for Deep Neural Network Verification. LOPSTR (2023)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions. LOPSTR (2023)
Marija Kulas
A Term Matching Algorithm and Substitution Generality. LOPSTR (2023)
Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu
Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples. LOPSTR (2023)
Hector Suzanne, Emmanuel Chailloux
A Reusable Machine-Calculus for Automated Resource Analyses. LOPSTR (2023)
Jordina Francès de Mas, Juliana Bowles
A Novel EGs-Based Framework for Systematic Propositional-Formula Simplification. LOPSTR (2023)
Daniel Jurjo, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
A Rule-Based Approach for Designing and Composing Abstract Domains. LOPSTR (2023)

volume 14330, 2023

Logic-Based Program Synthesis and Transformation - 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings LOPSTR 14330 (2023)

2022

volume 13474, 2022

Logic-Based Program Synthesis and Transformation - 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings LOPSTR 13474 (2022)

volume 13290, 2022

Logic-Based Program Synthesis and Transformation - 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings LOPSTR 13290 (2022)

2021

volume 12561, 2021

Logic-Based Program Synthesis and Transformation - 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings LOPSTR 12561 (2021)

2020

volume 12042, 2020

Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers LOPSTR 12042 (2020)