default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID29th 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.
last updated on 2024-10-31 20:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
