default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22nd 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
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-12-22 19:05 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:
