default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID20th LOPSTR 2010: Hagenberg, Austria
- 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 - 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
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-12-19 22:17 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:
