default search action

combined dblp search
author search
venue search
publication search

ask others

33rd LOPSTR 2023: Cascais, Portugal

> Home > Conferences and Workshops > LOPSTR

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/2023
Robert Glück, Bishoksan Kafle:
Logic-Based Program Synthesis and Transformation - 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings. Lecture Notes in Computer Science 14330, Springer 2023, ISBN 978-3-031-45783-8

Keynote

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Fernandez23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Fernandez23
Maribel Fernández:
Unification Modulo Equational Theories in Languages with Binding Operators (Invited Talk). 3-6

Horn Clauses Analysis, Transformation and Synthesis

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/TrongTH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/TrongTH23
Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu:
Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples. 9-27
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/GallagherHML23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/GallagherHML23
John P. Gallagher, Manuel V. Hermenegildo, José F. Morales, Pedro López-García:
Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation. 28-38
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/AngelisFPP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/AngelisFPP23
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions. 39-57

Static Analysis and Type Systems

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/SuzanneC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/SuzanneC23
Hector Suzanne, Emmanuel Chailloux:
A Reusable Machine-Calculus for Automated Resource Analyses. 61-79
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/JurjoMLH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/JurjoMLH23
Daniel Jurjo, José F. Morales, Pedro López-García, Manuel V. Hermenegildo:
A Rule-Based Approach for Designing and Composing Abstract Domains. 80-98
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/CarboneMS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/CarboneMS23
Marco Carbone, Sonia Marin, Carsten Schürmann:
A Logical Interpretation of Asynchronous Multiparty Compatibility. 99-117
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/LozovKIB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/LozovKIB23
Peter Lozov, Dmitry Kosarev, Dmitry Ivanov, Dmitry Boulytchev:
Relational Solver for Java Generics Type System. 118-128

Unification and Substitution in (C)LP

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/YernauxV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/YernauxV23
Gonzague Yernaux, Wim Vanhoof:
Predicate Anti-unification in (Constraint) Logic Programming. 131-149
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Kulas23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Kulas23
Marija Kulas:
A Term Matching Algorithm and Substitution Generality. 150-166

Knowledge Representation and AI-Based Learning

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/MasB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/MasB23
Jordina Francès de Mas, Juliana Bowles:
A Novel EGs-Based Framework for Systematic Propositional-Formula Simplification. 169-187
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/BambergerF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/BambergerF23
Anna Bamberger, Maribel Fernández:
From Static to Dynamic Access Control Policies via Attribute-Based Category Mining. 188-197
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/DesmartinIPSKK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/DesmartinIPSKK23
Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Ekaterina Komendantskaya, Guy Katz:
Towards a Certified Proof Checker for Deep Neural Network Verification. 198-209

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.