default search action

combined dblp search
author search
venue search
publication search

ask others

21st LOPSTR 2011: Odense, Denmark

> Home > Conferences and Workshops > LOPSTR

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/2011
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
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Gallagher11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Gallagher11
John P. Gallagher:
Analysis of Logic Programs Using Regular Tree Languages - (Extended Abstract). 1-3
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Henglein11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Henglein11
Fritz Henglein:
Dynamic Symbolic Computation for Domain-Specific Language Implementation. 4-24
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/AlbertGR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/AlbertGR11
Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas:
Resource-Driven CLP-Based Test Case Generation. 25-41
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Almendros-JimenezCGS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Almendros-JimenezCGS11
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
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/CabalarD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/CabalarD11
Pedro Cabalar, Stéphane Demri:
Automata-Based Computation of Temporal Equilibrium Models. 57-72
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/CaballeroRVM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/CaballeroRVM11
Rafael Caballero, Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet:
Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees. 73-89
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/DandoisV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/DandoisV11
Celine Dandois, Wim Vanhoof:
Clones in Logic Programs and How to Detect Them. 90-105
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/FioravantiPPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/FioravantiPPS11
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Using Real Relaxations during Program Specialization. 106-122
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/HidakaHIKMNS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/HidakaHIKMNS11
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano:
Marker-Directed Optimization of UnCAL Graph Transformations. 123-138
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/MoralesHH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/MoralesHH11
José F. Morales, Manuel V. Hermenegildo, Rémy Haemmerlé:
Modular Extensions for Modular (Logic) Languages. 139-154
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Moura11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Moura11
Paulo Moura:
Meta-predicate Semantics. 155-172
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/FernandezKN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/FernandezKN11
Maribel Fernández, Hélène Kirchner, Olivier Namet:
A Strategy Language for Graph Rewriting. 173-188
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/PilozziS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/PilozziS11
Paolo Pilozzi, Danny De Schreye:
Improved Termination Analysis of CHR Using Self-sustainability Analysis. 189-204
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Seki11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Seki11
Hirohisa Seki:
Proving Properties of Co-Logic Programs by Unfold/Fold Transformations. 205-220
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/SneyersS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/SneyersS11
Jon Sneyers, Danny De Schreye:
Probabilistic Termination of CHRiSM Programs. 221-236
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/StroderESGF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/StroderESGF11
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

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.