default search action
29th LOPSTR 2019: Porto, Portugal
- 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
- Patrick Cousot:
On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics. 3-18 - 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 - Isabel Garcia-Contreras
, José F. Morales
, Manuel V. Hermenegildo
:
Incremental Analysis of Logic Programs with Assertions and Open Predicates. 36-56 - 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
- Sarat Chandra Varanasi
, Elmer Salazar
, Neeraj Mittal
, Gopal Gupta
:
Synthesizing Imperative Code from Answer Set Programming Specifications. 75-89 - Karsten Diekhoff, Michael Kirsten
, Jonas Krämer:
Verified Construction of Fair Voting Rules. 90-104
Constraints and Unification
- Temur Kutsia
, Cleo Pau:
Solving Proximity Constraints. 107-122 - Mauricio Ayala-Rincón
, Maribel Fernández
, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho
:
A Certified Functional Nominal C-Unification Algorithm. 123-138 - 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
- 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 - María-del-Mar Gallardo, Laura Panizo
:
Trace Analysis Using an Event-Driven Interval Temporal Logic. 177-192 - Wlodzimierz Drabent
:
The Prolog Debugger and Declarative Programming. 193-208
Program Transformation
- Maribel Fernández
, Bruno Pinaud
, János Varga
:
A Port Graph Rewriting Approach to Relational Database Modelling. 211-227 - Wim Vanhoof
, Gonzague Yernaux
:
Generalization-Driven Semantic Clone Detection in CLP. 228-242 - 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.