Amazon cover image
Image from Amazon.com

Logic-based program synthesis and transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011, revised selected papers / [edited by] Germán Vidal.

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 7225. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Publication details: Heidelberg ; New York : Springer Science+Business Media, ©2012.Description: 1 online resource (x, 252 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783642322112
  • 3642322115
Other title:
  • LOPSTR 2011
Subject(s): Genre/Form: DDC classification:
  • 005.1/15 23
LOC classification:
  • QA76.63 I58 2012
Online resources:
Contents:
Analysis of Logic Programs Using Regular Tree Languages (Extended Abstract) / John P. Gallagher -- Dynamic Symbolic Computation for Domain-Specific Language Implementation / Fritz Henglein -- Resource-Driven CLP-Based Test Case Generation / Elvira Albert, Miguel Gómez-Zamalloa and José Miguel Rojas -- A Declarative Embedding of XQuery in a Functional-Logic Language / Jesús M. Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz and Fernando Sáenz-Pérez -- Automata-Based Computation of Temporal Equilibrium Models / Pedro Cabalar and Stéphane Demri -- Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees / Rafael Caballero, Adrián Riesco, Alberto Verdejo and Narciso Martí-Oliet -- Clones in Logic Programs and How to Detect Them / Céline Dandois and Wim Vanhoof -- Using Real Relaxations during Program Specialization / Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti and Valerio Senni -- Marker-Directed Optimization of UnCAL Graph Transformations / Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato and Kazutaka Matsuda, et al. -- Modular Extensions for Modular (Logic) Languages / José F. Morales, Manuel V. Hermenegildo and Rémy Haemmerlé -- Meta-predicate Semantics / Paulo Moura -- A Strategy Language for Graph Rewriting / Maribel Fernández, Hélène Kirchner and Olivier Namet -- Improved Termination Analysis of CHR Using Self-sustainability Analysis / Paolo Pilozzi and Danny De Schreye -- Proving Properties of Co-Logic Programs by Unfold/Fold Transformations / Hirohisa Seki -- Probabilistic Termination of CHRiSM Programs / Jon Sneyers and Danny De Schreye -- A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog / Thomas Ströder, Fabian Emmes, Peter Schneider-Kamp, Jürgen Giesl and Carsten Fuhs.
Summary: Annotation This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Analysis of Logic Programs Using Regular Tree Languages (Extended Abstract) / John P. Gallagher -- Dynamic Symbolic Computation for Domain-Specific Language Implementation / Fritz Henglein -- Resource-Driven CLP-Based Test Case Generation / Elvira Albert, Miguel Gómez-Zamalloa and José Miguel Rojas -- A Declarative Embedding of XQuery in a Functional-Logic Language / Jesús M. Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz and Fernando Sáenz-Pérez -- Automata-Based Computation of Temporal Equilibrium Models / Pedro Cabalar and Stéphane Demri -- Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees / Rafael Caballero, Adrián Riesco, Alberto Verdejo and Narciso Martí-Oliet -- Clones in Logic Programs and How to Detect Them / Céline Dandois and Wim Vanhoof -- Using Real Relaxations during Program Specialization / Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti and Valerio Senni -- Marker-Directed Optimization of UnCAL Graph Transformations / Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato and Kazutaka Matsuda, et al. -- Modular Extensions for Modular (Logic) Languages / José F. Morales, Manuel V. Hermenegildo and Rémy Haemmerlé -- Meta-predicate Semantics / Paulo Moura -- A Strategy Language for Graph Rewriting / Maribel Fernández, Hélène Kirchner and Olivier Namet -- Improved Termination Analysis of CHR Using Self-sustainability Analysis / Paolo Pilozzi and Danny De Schreye -- Proving Properties of Co-Logic Programs by Unfold/Fold Transformations / Hirohisa Seki -- Probabilistic Termination of CHRiSM Programs / Jon Sneyers and Danny De Schreye -- A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog / Thomas Ströder, Fabian Emmes, Peter Schneider-Kamp, Jürgen Giesl and Carsten Fuhs.

Includes bibliographical references and index.

Online resource; title from PDF title page (SpringerLink, viewed Aug. 27, 2012).

Annotation This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

Powered by Koha