Abstract is missing.
- Symbolic Evaluation Graphs and Term Rewriting - A General Methodology for Analyzing Logic ProgramsJürgen Giesl, Thomas Ströder, Peter Schneider-Kamp, Fabian Emmes, Carsten Fuhs. 1 [doi]
- An Introduction to Search CombinatorsTom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey. 2-16 [doi]
- A Declarative Pipeline Language for Complex Data AnalysisHenning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit. 17-34 [doi]
- Semantic Code Clones in Logic ProgramsCeline Dandois, Wim Vanhoof. 35-50 [doi]
- Specialization with Constrained Generalization for Software Model CheckingEmanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti. 51-70 [doi]
- Enhancing Declarative Debugging with Loop Expansion and Tree CompressionDavid Insa, Josep Silva, César Tomás. 71-88 [doi]
- XACML 3.0 in Answer Set ProgrammingCarroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson. 89-105 [doi]
- Types vs. PDGs in Information Flow AnalysisHeiko Mantel, Henning Sudbrock. 106-121 [doi]
- Galliwasp: A Goal-Directed Answer Set SolverKyle Marple, Gopal Gupta. 122-136 [doi]
- Computing More Specific Versions of Conditional Rewriting SystemsNaoki Nishida 0001, Germán Vidal. 137-154 [doi]
- Improving Determinization of Grammar Programs for Program InversionMinami Niwa, Naoki Nishida 0001, Masahiko Sakai. 155-175 [doi]
- A Framework for Guided Test Case Generation in Constraint Logic ProgrammingJosé Miguel Rojas, Miguel Gómez-Zamalloa. 176-193 [doi]
- Simplifying the Verification of Quantified Array Assertions via Code TransformationMohamed Nassim Seghir, Martin Brain. 194-212 [doi]
- Proving Properties of Co-logic Programs with Negation by Program TransformationsHirohisa Seki. 213-227 [doi]
- Program Analysis and Manipulation to Reproduce Learners' Erroneous ReasoningClaus Zinn. 228-243 [doi]