Abstract is missing.
- Unification Modulo Equational Theories in Languages with Binding Operators (Invited Talk)Maribel Fernández. 3-6 [doi]
- Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular ExamplesBach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu. 9-27 [doi]
- Transforming Big-Step to Small-Step Semantics Using Interpreter SpecialisationJohn P. Gallagher, Manuel V. Hermenegildo, José F. Morales 0001, Pedro López-García 0001. 28-38 [doi]
- Constrained Horn Clauses Satisfiability via Catamorphic AbstractionsEmanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti. 39-57 [doi]
- A Reusable Machine-Calculus for Automated Resource AnalysesHector Suzanne, Emmanuel Chailloux. 61-79 [doi]
- A Rule-Based Approach for Designing and Composing Abstract DomainsDaniel Jurjo, José F. Morales 0001, Pedro López-García 0001, Manuel V. Hermenegildo. 80-98 [doi]
- A Logical Interpretation of Asynchronous Multiparty CompatibilityMarco Carbone, Sonia Marin, Carsten Schürmann. 99-117 [doi]
- Relational Solver for Java Generics Type SystemPeter Lozov, Dmitry Kosarev, Dmitry Ivanov, Dmitry Boulytchev. 118-128 [doi]
- Predicate Anti-unification in (Constraint) Logic ProgrammingGonzague Yernaux, Wim Vanhoof. 131-149 [doi]
- A Term Matching Algorithm and Substitution GeneralityMarija Kulas. 150-166 [doi]
- A Novel EGs-Based Framework for Systematic Propositional-Formula SimplificationJordina Francès de Mas, Juliana Bowles. 169-187 [doi]
- From Static to Dynamic Access Control Policies via Attribute-Based Category MiningAnna Bamberger, Maribel Fernández. 188-197 [doi]
- Towards a Certified Proof Checker for Deep Neural Network VerificationRemi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Ekaterina Komendantskaya, Guy Katz. 198-209 [doi]