Logic Based Program Synthesis and Transformation

Alberto Pettorossi

ISBN 10: 3540439153 / ISBN 13: 9783540439158

Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 2002, 2002

Beschreibung

This item is printed on demand - Print on Demand Titel. Neuware -whoworkedwithmewithgreatenthusiasmanddedicationasmembersofthe OrganizingCommittee. Thepre-proceedingsofLOPSTR2001wereprintedbytheIASIInstituteof theNationalResearchCouncilofRome,Italy,andtheDepartmentofComputer ScienceoftheUniversityofCyprusinNicosia. IalsothankSpringerforaccepting topublishthese nalproceedingsintheLNCSseries. TheLOPSTR2001home pageis: iasi. rm. cnr. it/¿adp/lopstr01cfp. html. April2002 AlbertoPettorossi 1 Codognet,Ph. ,editor,LogicProgramming¿ICLP2001,LectureNotesinComputer Science 2237,Springer-Verlag,2001. 2 Walsh,T. ,editor,PrinciplesandPracticeofConstraintProgramming¿CP2001, LectureNotesinComputerScience 2239,Springer-Verlag,2001. ProgramChair AlbertoPettorossi Universit`adegliStudidiRomäTorVergatä,Italy ProgramCommittee DavidBasin Albert-Ludwigs-Universit¿atFreiburg,Germany AntonioBrogi Universit`adiPisa,Italy MauriceBruynooghe KatholiekeUniversiteitLeuven,Belgium NicolettaCocco Universit`aCäFoscaridiVenezia,Italy MireilleDucass¿e IRISA/INSA,France SandroEtalle TwenteUniversity&CWI,TheNetherlands JohnGallagher UniversityofBristol,UK RobertGluc ¿ k WasedaUniversity,Japan MichaelHanus Christian-Albrechts-Universit¿atzuKiel,Germany ManuelHermenegildo UniversidadPolit¿ecnicadeMadrid,Spain PatriciaHill UniversityofLeeds,UK Kung-KiuLau UniversityofManchester,UK MichaelLeuschel UniversityofSouthampton,UK TorbenMogensen UniversityofCopenhagen,Denmark AlbertoPettorossi Universit`adegliStudidiRomäTorVergatä,Italy I. V. Ramakrishnan StateUniversityofNewYorkatStonyBrook,USA DonSannella UniversityofEdinburgh,UK ZoltanSomogyi UniversityofMelbourne,Australia AdditionalReferees Jos¿eAlferes StefanGruner SabinaRossi AnnalisaBossi PaulJackson FaustoSpoto Lu¿ sFernandoCastro FrancisKlay MathieuTuruani AlessandraDiPierro GiridharPemmasani WimVanhoof YifeiDong MaurizioProietti FabioFioravanti Germ¿anPuebla SponsoringInstitutions TheAssociationforLogicProgramming TheCOLOGNet TheInternationalFederationforComputationalLogic TheIASIInstitute 280 pp. Englisch.

Bestandsnummer des Verkäufers 9783540439158

Bibliografische Details

• Titel: Logic Based Program Synthesis and Transformation
• Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 2002
• Veröffentlichungsdatum: 2002
• Sprache: Englisch
• ISBN-10: 3540439153
• ISBN-13: 9783540439158
• Bindung: Taschenbuch
• Zustand: Neu

Über diesen Titel

Inhaltsangabe

This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001, held in Paphos, Cyprus, in November 2001.
The 13 revised full papers presented together with an invited paper were carefully selected and improved during two rounds of reviewing and revision. The papers are organized in topical sections on program transformation and equivalence, program verification, program analysis, program development, and program synthesis.