default search action

combined dblp search
author search
venue search
publication search

ask others

20th LOPSTR 2010: Hagenberg, Austria

> 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/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/2010
María Alpuente:
Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6564, Springer 2011, ISBN 978-3-642-20550-7
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/DanvyZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/DanvyZ10
Olivier Danvy, Ian Zerny:
Three Syntactic Theories for Combinatory Graph Reduction. 1-20
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/SchumannCL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/SchumannCL10
Johann Schumann, Karen Cate, Alan Lee:
Analysis of Air Traffic Track Data with the AutoBayes Synthesis System. 21-36
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/HerasPR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/HerasPR10
Jónathan Heras, Vico Pascual, Julio Rubio:
Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System. 37-51
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/LlorensOST10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/LlorensOST10
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit:
Graph Generation to Statically Represent CSP Processes. 52-66
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/GiorginoSMP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/GiorginoSMP10
Mathieu Giorgino, Martin Strecker, Ralph Matthes, Marc Pantel:
Verification of the Schorr-Waite Algorithm - From Trees to Graphs. 67-83
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/SakuraiA10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/SakuraiA10
Kanako Sakurai, Kenichi Asai:
MikiBeta : A General GUI Library for Visualizing Proof Trees - System Description and Demonstration. 84-98
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/AlbertGRP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/AlbertGRP10
Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas, Germán Puebla:
Compositional CLP-Based Test Data Generation for Imperative Languages. 99-116
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Seki10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Seki10
Hirohisa Seki:
On Inductive Proofs by Extended Unfold/Fold Transformation Rules. 117-132
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/VoetsS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/VoetsS10
Dean Voets, Danny De Schreye:
Non-termination Analysis of Logic Programs Using Types. 133-148
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/InsaS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/InsaS10
David Insa, Josep Silva:
Scaling Up Algorithmic Debugging with Virtual Execution Trees. 149-163
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/FioravantiPPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/FioravantiPPS10
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation. 164-183
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/StroderSG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/StroderSG10
Thomas Ströder, Peter Schneider-Kamp, Jürgen Giesl:
Dependency Triples for Improving Termination Analysis of Logic Programs with Cut. 184-199
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Vidal10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Vidal10
Germán Vidal:
A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs. 200-214
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/BacciC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/BacciC10
Giovanni Bacci, Marco Comini:
Abstract Diagnosis of First Order Functional Logic Programs. 215-233
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/CalvesF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/CalvesF10
Christophe Calvès, Maribel Fernández:
The First-Order Nominal Link. 234-248

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.