Logic-based Program Synthesis And Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Pape by Danny De SchreyeLogic-based Program Synthesis And Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Pape by Danny De Schreye

Logic-based Program Synthesis And Transformation: 19th International Symposium, LOPSTR 2009…

byDanny De Schreye

Paperback | April 20, 2010

Pricing and Purchase Info

$114.32 online 
$136.95 list price save 16%
Earn 572 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

paper selection. I also would like to thank Andrei Voronkov for his excellent EasyChair system that automates manyofthetasksinvolvedinchairingaconference. LOPSTR2009wasco-locatedwithPPDP2009andCSL2009. Manythanks tothelocalorganizersoftheseevents,inparticular,toAnaAlmeida,theLOP- STR2009LocalOrganizationChair. January2010 DannyDeSchreye Conference Organization Program Chair DannyDeSchreye DepartmentofComputerScience KatholiekeUniversiteitLeuven B-3001Heverlee,Belgium Email:danny. deschreye@cs. kuleuven. be Local Organization Chair AnaAlmeida DepartamentodeMatematica FaculdadedeCienciaseTecnologia UniversidadedeCoimbra Coimbra,Portugal Email:amca@mat. uc. pt Program Committee SlimAbdennadher GermanUniversityCairo,Egypt Mar´?aAlpuenteFrasnedoTechnicalUniversityofValencia,Spain RobertoBagnara UniversityofParma,Italy DannyDeSchreye K. U. Leuven,Belgium(Chair) JohnGallagher RoskildeUniversity,Denmark RobertGluc ¨ k UniversityofCopenhagen,Denmark MichaelHanus UniversityofKiel,Germany ReinhardKahle UniversidadeNovadeLisboa,Portugal AndyKing UniversityofKent,UK MichaelLeuschel UniversityofDu ¨sseldorf,Germany FabioMartinelli IstitutodiInformaticaeTelematicaPisa,Italy Fred Mesnard Universit´edeLaR´ eunion,France MarioOrnaghi Universita `degliStudidiMilano,Italy Germ´ anPuebla TechnicalUniversityofMadrid,Spain SabinaRossi Universit` aCa'FoscaridiVenezia,Italy JosepSilva TechnicalUniversityofValencia,Spain PeterSchneider-Kamp UniversityofSouthernDenmark,Denmark TomSchrijvers K. U. Leuven,Belgium PetrStepanek CharlesUniversityPrague,CzechRepublic WimVanhoof UniversityofNamur,Belgium VIII Organization Organizing Committee AnaAlmeida PedroQuaresma ReinhardKahle External Reviewers JesperLouisAndersen FedericoBergenti UlrichBerger CarlFriedrichBolz PedroCabalar GabrieleCosta Francois ¸ Degrave MarcDenecker CamilloFiorentini SebastianFischer EmilioJesusGallegoArias MichaelGelfond PepeIborra HaythemIsmail LeanidKrautsevich JoaoLeite GiftNuka EtiennePayet PaoloPilozzi FrankRaiser JuanRodriguez-Hortala ´ CesarSanchez AntonSetzer MajaTonnesen PeterVanWeert DeanVoets GianluigiZavattaro Table of Contents Towards Scalable Partial Evaluation of Declarative Programs (Invited Talk) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Title:Logic-based Program Synthesis And Transformation: 19th International Symposium, LOPSTR 2009…Format:PaperbackDimensions:205 pages, 0.09 × 0.06 × 0.17 inPublished:April 20, 2010Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3642125913

ISBN - 13:9783642125911

Look for similar items by category:

Reviews

Table of Contents

Towards Scalable Partial Evaluation of Declarative Programs.- Deciding Full Branching Time Logic by Program Transformation.- A Transformational Approach for Proving Properties of the CHR Constraint Store.- The Dependency Triple Framework for Termination of Logic Programs.- Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing.- LP with Flexible Grouping and Aggregates Using Modes.- On Inductive and Coinductive Proofs via Unfold/Fold Transformations.- Coinductive Logic Programming with Negation.- Refining Exceptions in Four-Valued Logic.- Towards a Framework for Constraint-Based Test Case Generation.- Using Rewrite Strategies for Testing BUpL Agents.- Towards Just-In-Time Partial Evaluation of Prolog.- Program Parallelization Using Synchronized Pipelining.- Defining Datalog in Rewriting Logic.