Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers > A General Framework for Static Cost Analysis of Parallel Logic Programs
Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers |
Maurizio Gabbrielli
Springer International Publishing
Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers
A General Framework for Static Cost Analysis of Parallel Logic Programs
Authors

Maximiliano Klemen; Pedro López-García; John P. Gallagher; José F. Morales; Manuel V. Hermenegildo

ARI Id

1665250977139_5560762

Access

Not Available Free

Pages

19-35

DOI

10.1007/978-3-030-45260-5_2

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-030-45260-5_2

Table of Contents of Book
Showing 1 to 20 of 22 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
i-xvi
Front Matter
1-1
On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics
Patrick Cousot
3-18
A General Framework for Static Cost Analysis of Parallel Logic Programs
Maximiliano Klemen; Pedro López-García; John P. Gallagher; José F. Morales; Manuel V. Hermenegildo
19-35
Incremental Analysis of Logic Programs with Assertions and Open Predicates
Isabel Garcia-Contreras; Jose F. Morales; Manuel V. Hermenegildo
36-56
Computing Abstract Distances in Logic Programs
Ignacio Casso; José F. Morales; Pedro López-García; Roberto Giacobazzi; Manuel V. Hermenegildo
57-72
Front Matter
73-73
Synthesizing Imperative Code from Answer Set Programming Specifications
Sarat Chandra Varanasi; Elmer Salazar; Neeraj Mittal; Gopal Gupta
75-89
Verified Construction of Fair Voting Rules
Karsten Diekhoff; Michael Kirsten; Jonas Krämer
90-104
Front Matter
105-105
Solving Proximity Constraints
Temur Kutsia; Cleo Pau
107-122
A Certified Functional Nominal C-Unification Algorithm
Mauricio Ayala-Rincón; Maribel Fernández; Gabriel Ferreira Silva; Daniele Nantes-Sobrinho
123-138
Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming
Joaquín Arias; Zhuo Chen; Manuel Carro; Gopal Gupta
139-155
Front Matter
157-157
An Integrated Approach to Assertion-Based Random Testing in Prolog
Ignacio Casso; José F. Morales; Pedro López-García; Manuel V. Hermenegildo
159-176
Trace Analysis Using an Event-Driven Interval Temporal Logic
María-del-Mar Gallardo; Laura Panizo
177-192
The Prolog Debugger and Declarative Programming
Włodzimierz Drabent
193-208
Front Matter
209-209
A Port Graph Rewriting Approach to Relational Database Modelling
Maribel Fernández; Bruno Pinaud; János Varga
211-227
Generalization-Driven Semantic Clone Detection in CLP
Wim Vanhoof; Gonzague Yernaux
228-242
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 22 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings