skip to content
Logic-based program synthesis and transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected papers Preview this item
ClosePreview this item
Checking...

Logic-based program synthesis and transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected papers

Author: Elvira Albert
Publisher: Berlin ; New York : Springer, ©2013.
Series: Lecture notes in computer science, 7844.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification,  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference proceedings
Congresses
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Elvira Albert
ISBN: 9783642381973 3642381979
OCLC Number: 841367106
Description: 1 online resource (x, 243 p.) : ill.
Contents: Symbolic Evaluation Graphs and Term Rewriting --
A General Methodology for Analyzing Logic Programs / Jürgen Giesl, Thomas Ströder --
An Introduction to Search Combinators / Tom Schrijvers, Guido Tack, Pieter Wuille --
A Declarative Pipeline Language for Complex Data Analysis / Henning Christiansen, Christian Theil Have --
Semantic Code Clones in Logic Programs / Céline Dandois, Wim Vanhoof --
Specialization with Constrained Generalization for Software Model Checking / Emanuele De Angelis, Fabio Fioravanti --
Enhancing Declarative Debugging with Loop Expansion and Tree Compression / David Insa, Josep Silva, César Tomás --
XACML 3.0 in Answer Set Programming / Carroline Dewi Puspa Kencana Ramli --
Types vs. PDGs in Information Flow Analysis / Heiko Mantel, Henning Sudbrock --
Galliwasp: A Goal-Directed Answer Set Solver / Kyle Marple, Gopal Gupta --
Computing More Specific Versions of Conditional Rewriting Systems / Naoki Nishida, Germán Vidal --
Improving Determinization of Grammar Programs for Program Inversion / Minami Niwa, Naoki Nishida, Masahiko Sakai --
A Framework for Guided Test Case Generation in Constraint Logic Programming / José Miguel Rojas --
Simplifying the Verification of Quantified Array Assertions via Code Transformation / Mohamed Nassim Seghir, Martin Brain --
Proving Properties of Co-logic Programs with Negation by Program Transformations / Hirohisa Seki --
Program Analysis and Manipulation to Reproduce Learners' Erroneous Reasoning / Claus Zinn.
Series Title: Lecture notes in computer science, 7844.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Other Titles: LOPSTR 2012
Responsibility: Elvira Albert (ed.).
More information:

Abstract:

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 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.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/841367106>
library:oclcnum"841367106"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/841367106>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
<http://id.worldcat.org/fast/872537>
rdf:typeschema:Intangible
schema:name"Computer software--Development."
schema:name"Computer software--Development"
schema:bookFormatschema:EBook
schema:contributor
schema:copyrightYear"2013"
schema:creator
schema:datePublished"2013"
schema:description"This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 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."
schema:exampleOfWork<http://worldcat.org/entity/work/id/1274267502>
schema:genre"Electronic books."
schema:genre"Conference proceedings."
schema:genre"Conference proceedings"
schema:inLanguage"en"
schema:name"LOPSTR 2012"
schema:name"Logic-based program synthesis and transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected papers"
schema:numberOfPages"243"
schema:publisher
schema:url
schema:url<http://dx.doi.org/10.1007/978-3-642-38197-3>
schema:workExample

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.