default search action

combined dblp search
author search
venue search
publication search

ask others

29th LOPSTR 2019: Porto, 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/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/2019
Maurizio Gabbrielli:
Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12042, Springer 2020, ISBN 978-3-030-45259-9

Static Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Cousot19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Cousot19
Patrick Cousot:
On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics. 3-18
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Klemen0GMH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Klemen0GMH19
Maximiliano Klemen, Pedro López-García, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo:
A General Framework for Static Cost Analysis of Parallel Logic Programs. 19-35
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Garcia-Contreras19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Garcia-Contreras19
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo:
Incremental Analysis of Logic Programs with Assertions and Open Predicates. 36-56
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/CassoM0GH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/CassoM0GH19
Ignacio Casso, José F. Morales, Pedro López-García, Roberto Giacobazzi, Manuel V. Hermenegildo:
Computing Abstract Distances in Logic Programs. 57-72

Program Synthesis

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/VaranasiSMG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/VaranasiSMG19
Sarat Chandra Varanasi, Elmer Salazar, Neeraj Mittal, Gopal Gupta:
Synthesizing Imperative Code from Answer Set Programming Specifications. 75-89
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/DiekhoffKK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/DiekhoffKK19
Karsten Diekhoff, Michael Kirsten, Jonas Krämer:
Verified Construction of Fair Voting Rules. 90-104

Constraints and Unification

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/KutsiaP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/KutsiaP19
Temur Kutsia, Cleo Pau:
Solving Proximity Constraints. 107-122
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Ayala-RinconFSN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Ayala-RinconFSN19
Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho:
A Certified Functional Nominal C-Unification Algorithm. 123-138
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/AriasCCG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/AriasCCG19
Joaquín Arias, Zhuo Chen, Manuel Carro, Gopal Gupta:
Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming. 139-155

Debugging and Verification

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/CassoM0H19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/CassoM0H19
Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo:
An Integrated Approach to Assertion-Based Random Testing in Prolog. 159-176
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/GallardoP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/GallardoP19
María-del-Mar Gallardo, Laura Panizo:
Trace Analysis Using an Event-Driven Interval Temporal Logic. 177-192
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Drabent19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Drabent19
Wlodzimierz Drabent:
The Prolog Debugger and Declarative Programming. 193-208

Program Transformation

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/FernandezPV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/FernandezPV19
Maribel Fernández, Bruno Pinaud, János Varga:
A Port Graph Rewriting Approach to Relational Database Modelling. 211-227
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/VanhoofY19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/VanhoofY19
Wim Vanhoof, Gonzague Yernaux:
Generalization-Driven Semantic Clone Detection in CLP. 228-242
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/KirkebyG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/KirkebyG19
Maja Hanne Kirkeby, Robert Glück:
Semi-inversion of Conditional Constructor Term Rewriting Systems. 243-259

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.