![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
22nd LOPSTR 2012: Leuven, Belgium
- Elvira Albert:
Logic-Based Program Synthesis and Transformation, 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7844, Springer 2013, ISBN 978-3-642-38196-6 - Jürgen Giesl, Thomas Ströder, Peter Schneider-Kamp
, Fabian Emmes, Carsten Fuhs:
Symbolic Evaluation Graphs and Term Rewriting - A General Methodology for Analyzing Logic Programs. 1 - Tom Schrijvers
, Guido Tack, Pieter Wuille
, Horst Samulowitz, Peter J. Stuckey:
An Introduction to Search Combinators. 2-16 - Henning Christiansen
, Christian Theil Have
, Ole Torp Lassen, Matthieu Petit:
A Declarative Pipeline Language for Complex Data Analysis. 17-34 - Celine Dandois, Wim Vanhoof
:
Semantic Code Clones in Logic Programs. 35-50 - Emanuele De Angelis
, Fabio Fioravanti
, Alberto Pettorossi
, Maurizio Proietti
:
Specialization with Constrained Generalization for Software Model Checking. 51-70 - David Insa, Josep Silva
, César Tomás:
Enhancing Declarative Debugging with Loop Expansion and Tree Compression. 71-88 - Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson
, Flemming Nielson
:
XACML 3.0 in Answer Set Programming. 89-105 - Heiko Mantel, Henning Sudbrock:
Types vs. PDGs in Information Flow Analysis. 106-121 - Kyle Marple, Gopal Gupta:
Galliwasp: A Goal-Directed Answer Set Solver. 122-136 - Naoki Nishida, Germán Vidal
:
Computing More Specific Versions of Conditional Rewriting Systems. 137-154 - Minami Niwa, Naoki Nishida, Masahiko Sakai
:
Improving Determinization of Grammar Programs for Program Inversion. 155-175 - José Miguel Rojas
, Miguel Gómez-Zamalloa
:
A Framework for Guided Test Case Generation in Constraint Logic Programming. 176-193 - Mohamed Nassim Seghir, Martin Brain:
Simplifying the Verification of Quantified Array Assertions via Code Transformation. 194-212 - Hirohisa Seki:
Proving Properties of Co-logic Programs with Negation by Program Transformations. 213-227 - Claus Zinn:
Program Analysis and Manipulation to Reproduce Learners' Erroneous Reasoning. 228-243
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.