Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

by María Alpuente (Editor)

Overview

This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010. The 13 revised full papers presented together with two invited papers were carefully reviewed and selected from 26 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, application and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

Product Details

ISBN-13:	9783642205507
Publisher:	Springer Berlin Heidelberg
Publication date:	06/28/2011
Series:	Lecture Notes in Computer Science , #6564
Edition description:	2011
Pages:	249
Product dimensions:	6.10(w) x 9.25(h) x 0.02(d)

Table of Contents

Three Syntactic Theories for Combinatory Graph Reduction (Invited Talk) Olivier Danvy Ian Zerny 1

Analysis of Air Traffic Track Data with the AutoBayes Synthesis System (Invited Talk) Johann Schumann Karen Gate Alan Lee 21

Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System Jónathan Heras Vico Pascual Julio Rubio 37

Graph Generation to Statically Represent CSP Processes Marisa Llorens Javier Oliver Josep Silva Salvador Tamarit 52

Verification of the Schorr-Waite Algorithm - From Trees to Graphs Mathieu Giorgino Martin Strecker Ralph Matthes Marc Pantel 67

MikiBeta : A General GUI Library for Visualizing Proof Trees: System Description and Demonstration Kanako Sakurai Kenichi Asai 84

Compositional CLP-Based Test Data Generation for Imperative Languages Elvira Albert Miguel Gómez-Zamalloa José Miguel Rojas Germán Puebla 99

On Inductive Proofs by Extended Unfold/Fold Transformation Rules Hirohisa Seki 117

Non-termination Analysis of Logic Programs Using Types Dean Voets Danny De Schreye 133

Scaling Up Algorithmic Debugging with Virtual Execution Trees David Insa Josep Silva 149

Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation Fabio Fioravanti Alberto Pettorossi Maurizio Proietti Valerio Senni 164

Dependency Triples for Improving Termination Analysis of Logic Programs with Cut Thomas Ströder Peter Schneider-Kamp Jürgen Giesl 184

A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs Germán Vidal 200

Abstract Diagnosis of First Order Functional Logic Programs Giovanni Bacci Marco Comini 215

The First-Order Nominal Link Christophe Calves Maribel Fernández 234

Author Index 249