Description
Springer Logic-Based Program Synthesis And Transformation 2010 Edition by Danny De Schreye
Thisvolumecontainsaselectionofthepaperspresentedatthe19thInternational SymposiumonLogic-BasedProgramSynthesisandTransformation(LOPSTR 2009)heldSeptember 9-112009in CoimbraPortugal. Informationaboutthe conference can be found at http://www. cs. kuleuven. be/conference/ lopstr09+. PreviousLOPSTRsymposiawereheldinValencia(2008)Lyngby (2007)Venice(2006and1999)London(2005and2000)Verona(2004)U- sala(2003)Madrid(2002)Paphos(2001)Manchester(19981992and1991) Leuven(1997)Stockholm(1996)Arnhem(1995)Pisa(1994)andLouvain-la- Neuve(1993). The aim of the LOPSTR series is to stimulate and promote international researchandcollaborationonlogic-basedprogramdevelopment. LOPSTRt- ditionally solicits papers in the areas of speci?cation synthesis veri?cation transformationanalysisoptimizationcompositionsecurityreuseapplications andtoolscomponent-basedsoftwaredevelopmentsoftwarearchitecturesage- basedsoftwaredevelopmentandprogramre?nement. LOPSTRhasareputation forbeingalivelyfriendlyforumforpresentinganddiscussingworkinprogress. Formalproceedingsareproducedonlyafterthesymposiumsothatauthorscan incorporateanyfeedbackinthepublishedpapers.IwouldliketothankallthosewhosubmittedcontributionstoLOPSTRinthe categoriesoffullpapersandextendedabstracts. Eachsubmissionwasreviewed byatleastthreeProgramCommitteemembers. Thecommitteedecidedtoaccept threefullpapersforimmediateinclusioninthe?nalproceedingsandtenpapers wereacceptedafterrevisionandanotherroundofreviewing. Inadditiontothe accepted papers the program also included an invited talk by Germ' an Vidal (TechnicalUniversityofValencia). IamgratefultotheProgramCommitteememberswhoworkedhardtop- duce high-qualityreviewsforthe submitted papersin atight schedule aswell as all the external reviewers involved in the paper selection. I also would like to thank Andrei Voronkov for his excellent EasyChair system that automates manyofthetasksinvolvedinchairingaconference. LOPSTR2009wasco-locatedwithPPDP2009andCSL2009. Manythanks tothelocalorganizersoftheseeventsinparticulartoAnaAlmeidatheLOP- STR2009LocalOrganizationChair. January2010 DannyDeSchreye Conference Organization Program Chair DannyDeSchreye DepartmentofComputerScience KatholiekeUniversiteitLeuven B-3001HeverleeBelgium Email:danny. deschreye@cs. kuleuven. be Local Organization Chair AnaAlmeida DepartamentodeMatematica FaculdadedeCienciaseTecnologia UniversidadedeCoimbra CoimbraPortugal Email:amca@mat.uc. pt Program Committee SlimAbdennadher GermanUniversityCairoEgypt Mar'?aAlpuenteFrasnedoTechnicalUniversityofValenciaSpain RobertoBagnara UniversityofParmaItaly DannyDeSchreye K. U. LeuvenBelgium(Chair) JohnGallagher RoskildeUniversityDenmark RobertGluc .. k UniversityofCopenhagenDenmark MichaelHanus UniversityofKielGermany ReinhardKahle UniversidadeNovadeLisboaPortugal AndyKing UniversityofKentUK MichaelLeuschel UniversityofDu ..sseldorfGermany FabioMartinelli IstitutodiInformaticaeTelematicaPisaItaly Fred Mesnard Universit'edeLaR' eunionFrance MarioOrnaghi Universita 'degliStudidiMilanoItaly Germ' anPuebla TechnicalUniversityofMadridSpain SabinaRossi Universit' aCa'FoscaridiVeneziaItaly JosepSilva TechnicalUniversityofValenciaSpain PeterSchneider-Kamp UniversityofSouthernDenmarkDenmark TomSchrijvers K. U.LeuvenBelgium PetrStepanek CharlesUniversityPragueCzechRepublic WimVanhoof UniversityofNamurBelgium 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) ... 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.