Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID21st LOPSTR 2011: Odense, Denmark
- Germán Vidal:
Logic-Based Program Synthesis and Transformation - 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers. Lecture Notes in Computer Science 7225, Springer 2012, ISBN 978-3-642-32210-5 - John P. Gallagher:
Analysis of Logic Programs Using Regular Tree Languages - (Extended Abstract). 1-3 - Fritz Henglein:
Dynamic Symbolic Computation for Domain-Specific Language Implementation. 4-24 - Elvira Albert, Miguel Gómez-Zamalloa
, José Miguel Rojas:
Resource-Driven CLP-Based Test Case Generation. 25-41 - Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez:
A Declarative Embedding of XQuery in a Functional-Logic Language. 42-56 - Pedro Cabalar, Stéphane Demri:
Automata-Based Computation of Temporal Equilibrium Models. 57-72 - Rafael Caballero, Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet:
Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees. 73-89 - Celine Dandois, Wim Vanhoof:
Clones in Logic Programs and How to Detect Them. 90-105 - Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Using Real Relaxations during Program Specialization. 106-122 - Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano:
Marker-Directed Optimization of UnCAL Graph Transformations. 123-138 - José F. Morales, Manuel V. Hermenegildo, Rémy Haemmerlé:
Modular Extensions for Modular (Logic) Languages. 139-154 - Paulo Moura:
Meta-predicate Semantics. 155-172 - Maribel Fernández, Hélène Kirchner, Olivier Namet:
A Strategy Language for Graph Rewriting. 173-188 - Paolo Pilozzi, Danny De Schreye:
Improved Termination Analysis of CHR Using Self-sustainability Analysis. 189-204 - Hirohisa Seki:
Proving Properties of Co-Logic Programs by Unfold/Fold Transformations. 205-220 - Jon Sneyers, Danny De Schreye:
Probabilistic Termination of CHRiSM Programs. 221-236 - Thomas Ströder, Fabian Emmes, Peter Schneider-Kamp, Jürgen Giesl, Carsten Fuhs:
A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog. 237-252
a service of 
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-04-22 20:00 CEST 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:
