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: (21st : International Workshop on Logic-Based Program Synthesis and Transformation (21st : 2011 : Odense, Denmark)Contributor(s): Vidal, GermánMaterial type: TextTextSeries: Serienbezeichnung | 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 resourceISBN: 9783642322112; 3642322115Other title: LOPSTR 2011Subject(s): Logic programming -- Congresses | Program transformation (Computer programming) -- Congresses | Computational complexity -- Congresses | Informatique | Computational complexity | Logic programming | Program transformation (Computer programming) | Computer science | Software engineering | Mathematical Logic and Formal Languages | Discrete Mathematics in Computer Science | Logics and Meanings of Programs | computerwetenschappen | computer sciences | wiskunde | mathematics | programmeren | programming | kunstmatige intelligentie | artificial intelligence | logica | logic | Information and Communication Technology (General) | Informatie- en communicatietechnologie (algemeen)Genre/Form: Electronic books. | Electronic books. | Conference papers and proceedings. DDC classification: 005.1/15 LOC classification: QA76.63 | I58 2012Online resources: Click here to access online
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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library

Electronic Book@IST

EBook 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