default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19th LOPSTR 2009: Coimbra, Portugal
- Danny De Schreye
:
Logic-Based Program Synthesis and Transformation, 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers. Lecture Notes in Computer Science 6037, Springer 2010, ISBN 978-3-642-12591-1 - Germán Vidal:
Towards Scalable Partial Evaluation of Declarative Programs. 1-4 - Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Deciding Full Branching Time Logic by Program Transformation. 5-21 - Paolo Pilozzi, Tom Schrijvers, Maurice Bruynooghe:
A Transformational Approach for Proving Properties of the CHR Constraint Store. 22-36 - Peter Schneider-Kamp, Jürgen Giesl, Manh Thang Nguyen:
The Dependency Triple Framework for Termination of Logic Programs. 37-51 - José Iborra, Naoki Nishida, Germán Vidal:
Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing. 52-66 - Marcin Czenko, Sandro Etalle:
LP with Flexible Grouping and Aggregates Using Modes. 67-81 - Hirohisa Seki:
On Inductive and Coinductive Proofs via Unfold/Fold Transformations. 82-96 - Richard Min, Gopal Gupta:
Coinductive Logic Programming with Negation. 97-112 - Susumu Nishimura:
Refining Exceptions in Four-Valued Logic. 113-127 - François Degrave, Tom Schrijvers, Wim Vanhoof:
Towards a Framework for Constraint-Based Test Case Generation. 128-142 - Lacramioara Astefanoaei, Frank S. de Boer, M. Birna van Riemsdijk:
Using Rewrite Strategies for Testing BUpL Agents. 143-157 - Carl Friedrich Bolz, Michael Leuschel, Armin Rigo:
Towards Just-In-Time Partial Evaluation of Prolog. 158-172 - Leonardo Scandolo, César Kunz, Manuel V. Hermenegildo:
Program Parallelization Using Synchronized Pipelining. 173-187 - María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva:
Defining Datalog in Rewriting Logic. 188-204
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-11-13 23:57 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:
