Abstract is missing.
- On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational SemanticsPatrick Cousot. 3-18 [doi]
- A General Framework for Static Cost Analysis of Parallel Logic ProgramsMaximiliano Klemen, Pedro López-García 0001, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo. 19-35 [doi]
- Incremental Analysis of Logic Programs with Assertions and Open PredicatesIsabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo. 36-56 [doi]
- Computing Abstract Distances in Logic ProgramsIgnacio Casso, José F. Morales, Pedro López-García 0001, Roberto Giacobazzi, Manuel V. Hermenegildo. 57-72 [doi]
- Synthesizing Imperative Code from Answer Set Programming SpecificationsSarat Chandra Varanasi, Elmer Salazar, Neeraj Mittal, Gopal Gupta. 75-89 [doi]
- Verified Construction of Fair Voting RulesKarsten Diekhoff, Michael Kirsten, Jonas Krämer. 90-104 [doi]
- Solving Proximity ConstraintsTemur Kutsia, Cleo Pau. 107-122 [doi]
- A Certified Functional Nominal C-Unification AlgorithmMauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes Sobrinho. 123-138 [doi]
- Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set ProgrammingJoaquín Arias, Zhuo Chen, Manuel Carro, Gopal Gupta. 139-155 [doi]
- An Integrated Approach to Assertion-Based Random Testing in PrologIgnacio Casso, José F. Morales, Pedro López-García 0001, Manuel V. Hermenegildo. 159-176 [doi]
- Trace Analysis Using an Event-Driven Interval Temporal LogicMaría-del-Mar Gallardo, Laura Panizo. 177-192 [doi]
- The Prolog Debugger and Declarative ProgrammingWlodzimierz Drabent. 193-208 [doi]
- A Port Graph Rewriting Approach to Relational Database ModellingMaribel Fernández, Bruno Pinaud, János Varga. 211-227 [doi]
- Generalization-Driven Semantic Clone Detection in CLPWim Vanhoof, Gonzague Yernaux. 228-242 [doi]
- Semi-inversion of Conditional Constructor Term Rewriting SystemsMaja Hanne Kirkeby, Robert Glück. 243-259 [doi]