20. LOPSTR 2010:
Hagenberg,
Austria
María Alpuente (Ed.):
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 
- Olivier Danvy, Ian Zerny:
Three Syntactic Theories for Combinatory Graph Reduction.
1-20
- Johann Schumann, Karen Cate, Alan Lee:
Analysis of Air Traffic Track Data with the AutoBayes Synthesis System.
21-36
- Jónathan Heras, Vico Pascual, Julio Rubio:
Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System.
37-51
- Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit:
Graph Generation to Statically Represent CSP Processes.
52-66
- Mathieu Giorgino, Martin Strecker, Ralph Matthes, Marc Pantel:
Verification of the Schorr-Waite Algorithm - From Trees to Graphs.
67-83
- Kanako Sakurai, Kenichi Asai:
MikiBeta : A General GUI Library for Visualizing Proof Trees - System Description and Demonstration.
84-98
- Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas, Germán Puebla:
Compositional CLP-Based Test Data Generation for Imperative Languages.
99-116
- Hirohisa Seki:
On Inductive Proofs by Extended Unfold/Fold Transformation Rules.
117-132
- Dean Voets, Danny De Schreye:
Non-termination Analysis of Logic Programs Using Types.
133-148
- David Insa, Josep Silva:
Scaling Up Algorithmic Debugging with Virtual Execution Trees.
149-163
- Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation.
164-183
- Thomas Ströder, Peter Schneider-Kamp, Jürgen Giesl:
Dependency Triples for Improving Termination Analysis of Logic Programs with Cut.
184-199
- Germán Vidal:
A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs.
200-214
- Giovanni Bacci, Marco Comini:
Abstract Diagnosis of First Order Functional Logic Programs.
215-233
- Christophe Calvès, Maribel Fernández:
The First-Order Nominal Link.
234-248
Last update Fri May 25 08:25:32 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
