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 papers and proceedings
Congresses
Additional Physical Format: Printed edition:
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 pages) : illustrations.
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.).

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


Primary Entity

<http://www.worldcat.org/oclc/841367106> # Logic-based program synthesis and transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected papers
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "841367106" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1274267502#Place/berlin> ; # Berlin
    schema:about <http://experiment.worldcat.org/entity/work/data/1274267502#Thing/discrete_mathematics_in_computer_science> ; # Discrete Mathematics in Computer Science.
    schema:about <http://id.worldcat.org/fast/872265> ; # Computer logic
    schema:about <http://experiment.worldcat.org/entity/work/data/1274267502#Thing/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages.
    schema:about <http://experiment.worldcat.org/entity/work/data/1274267502#Thing/artificial_intelligence> ; # Artificial intelligence.
    schema:about <http://experiment.worldcat.org/entity/work/data/1274267502#Thing/programming_techniques> ; # Programming Techniques.
    schema:about <http://experiment.worldcat.org/entity/work/data/1274267502#Thing/logic_design> ; # Logic design.
    schema:about <http://experiment.worldcat.org/entity/work/data/1274267502#Thing/software_engineering> ; # Software engineering.
    schema:about <http://experiment.worldcat.org/entity/work/data/1274267502#Topic/software> ; # Software
    schema:about <http://experiment.worldcat.org/entity/work/data/1274267502#Thing/computational_complexity> ; # Computational complexity.
    schema:about <http://experiment.worldcat.org/entity/work/data/1274267502#Thing/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs.
    schema:about <http://experiment.worldcat.org/entity/work/data/1274267502#Topic/logic> ; # Logic
    schema:about <http://experiment.worldcat.org/entity/work/data/1274267502#Topic/logic_programming> ; # Logic programming
    schema:about <http://id.worldcat.org/fast/1002056> ; # Logic programming
    schema:about <http://experiment.worldcat.org/entity/work/data/1274267502#Thing/computer_science> ; # Computer science.
    schema:about <http://id.worldcat.org/fast/872537> ; # Computer software--Development
    schema:about <http://experiment.worldcat.org/entity/work/data/1274267502#Topic/computer_logic> ; # Computer logic
    schema:about <http://dewey.info/class/005.115/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1274267502#Topic/computer_software_development> ; # Computer software--Development
    schema:alternateName "LOPSTR 2012" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/300604522> ; # Elvira Albert
    schema:copyrightYear "2013" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/1274267502#Meeting/lopstr_symposium_22nd_2012_leuven_belgium> ; # LOPSTR (Symposium) (22nd : 2012 : Leuven, Belgium)
    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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1274267502> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1274267502#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> ; # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    schema:isPartOf <http://worldcat.org/issn/1611-3349> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1274267502#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isSimilarTo <http://worldcat.org/entity/work/data/1274267502#CreativeWork/> ;
    schema:name "Logic-based program synthesis and transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected papers"@en ;
    schema:productID "841367106" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/841367106#PublicationEvent/berlin_new_york_springer_2013> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1274267502#Agent/springer> ; # Springer
    schema:url <http://public.eblib.com/choice/PublicFullRecord.aspx?p=3093307> ;
    schema:url <http://dx.doi.org/10.1007/978-3-642-38197-3> ;
    schema:workExample <http://worldcat.org/isbn/9783642381973> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-642-38197-3> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/841367106> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/1274267502#Meeting/lopstr_symposium_22nd_2012_leuven_belgium> # LOPSTR (Symposium) (22nd : 2012 : Leuven, Belgium)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/1274267502#Place/leuven_belgium> ; # Leuven, Belgium)
    schema:name "LOPSTR (Symposium) (22nd : 2012 : Leuven, Belgium)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1274267502#Place/leuven_belgium> # Leuven, Belgium)
    a schema:Place ;
    schema:name "Leuven, Belgium)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1274267502#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/841367106> ; # Logic-based program synthesis and transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected papers
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/1274267502#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/841367106> ; # Logic-based program synthesis and transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected papers
    schema:name "LNCS sublibrary. SL 1, Theoretical computer science and general issues" ;
    .

<http://experiment.worldcat.org/entity/work/data/1274267502#Thing/artificial_intelligence> # Artificial intelligence.
    a schema:Thing ;
    schema:name "Artificial intelligence." ;
    .

<http://experiment.worldcat.org/entity/work/data/1274267502#Thing/computational_complexity> # Computational complexity.
    a schema:Thing ;
    schema:name "Computational complexity." ;
    .

<http://experiment.worldcat.org/entity/work/data/1274267502#Thing/computer_science> # Computer science.
    a schema:Thing ;
    schema:name "Computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/1274267502#Thing/discrete_mathematics_in_computer_science> # Discrete Mathematics in Computer Science.
    a schema:Thing ;
    schema:name "Discrete Mathematics in Computer Science." ;
    .

<http://experiment.worldcat.org/entity/work/data/1274267502#Thing/logics_and_meanings_of_programs> # Logics and Meanings of Programs.
    a schema:Thing ;
    schema:name "Logics and Meanings of Programs." ;
    .

<http://experiment.worldcat.org/entity/work/data/1274267502#Thing/mathematical_logic_and_formal_languages> # Mathematical Logic and Formal Languages.
    a schema:Thing ;
    schema:name "Mathematical Logic and Formal Languages." ;
    .

<http://experiment.worldcat.org/entity/work/data/1274267502#Thing/programming_techniques> # Programming Techniques.
    a schema:Thing ;
    schema:name "Programming Techniques." ;
    .

<http://experiment.worldcat.org/entity/work/data/1274267502#Thing/software_engineering> # Software engineering.
    a schema:Thing ;
    schema:name "Software engineering." ;
    .

<http://experiment.worldcat.org/entity/work/data/1274267502#Topic/computer_software_development> # Computer software--Development
    a schema:Intangible ;
    schema:name "Computer software--Development"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1274267502#Topic/logic_programming> # Logic programming
    a schema:Intangible ;
    schema:name "Logic programming"@en ;
    .

<http://id.worldcat.org/fast/1002056> # Logic programming
    a schema:Intangible ;
    schema:name "Logic programming"@en ;
    .

<http://id.worldcat.org/fast/872265> # Computer logic
    a schema:Intangible ;
    schema:name "Computer logic"@en ;
    .

<http://id.worldcat.org/fast/872537> # Computer software--Development
    a schema:Intangible ;
    schema:name "Computer software--Development"@en ;
    .

<http://viaf.org/viaf/300604522> # Elvira Albert
    a schema:Person ;
    schema:familyName "Albert" ;
    schema:givenName "Elvira" ;
    schema:name "Elvira Albert" ;
    .

<http://worldcat.org/entity/work/data/1274267502#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/841367106> ; # Logic-based program synthesis and transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected papers
    .

<http://worldcat.org/isbn/9783642381973>
    a schema:ProductModel ;
    schema:isbn "3642381979" ;
    schema:isbn "9783642381973" ;
    .

<http://worldcat.org/issn/1611-3349> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/841367106> ; # Logic-based program synthesis and transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected papers
    schema:issn "1611-3349" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/841367106>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/841367106> ; # Logic-based program synthesis and transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected papers
    schema:dateModified "2016-01-16" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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