Logic Based Program Synthesis and Transformation
11th International Workshop, Lopstr 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers
- Editore:
Springer Berlin Heidelberg
- EAN:
9783540439158
- ISBN:
3540439153
- Pagine:
- 280
- Formato:
- Paperback
- Lingua:
- Tedesco
Descrizione Logic Based Program Synthesis and Transformation
whoworkedwithmewithgreatenthusiasmanddedicationasmembersofthe OrganizingCommittee. Thepre-proceedingsofLOPSTR2001wereprintedbytheIASIInstituteof theNationalResearchCouncilofRome,Italy,andtheDepartmentofComputer ScienceoftheUniversityofCyprusinNicosia. IalsothankSpringerforaccepting topublishthese?nalproceedingsintheLNCSseries. TheLOPSTR2001home pageis:http://www. 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