Buch, Englisch, Band 2372, 272 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 429 g
11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers
Buch, Englisch, Band 2372, 272 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 429 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-43915-8
Verlag: Springer Berlin Heidelberg
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`adegliStudidiRoma‘TorVergata’,Italy ProgramCommittee DavidBasin Albert-Ludwigs-Universit¨atFreiburg,Germany AntonioBrogi Universit`adiPisa,Italy MauriceBruynooghe KatholiekeUniversiteitLeuven,Belgium NicolettaCocco Universit`aCa’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`adegliStudidiRoma‘TorVergata’,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 TheIASIInstituteofCNR(Italy) Universit`adegliStudidiRoma‘TorVergata’(Italy) TableofContents InvitedSpeaker Static Analysis for Safe Destructive Updates in a Functional Language. 1 NatarajanShankar(SRIInternational,MenloPark,USA) ProgramTransformationandEquivalence A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs. 25 PetrosPotikas,PanosRondogiannis(UniversityofAthens,Greece), ManolisGergatsoulis(InstituteofInformatics&Telecommunications, AghiaParaskeviAttikis,Greece) On Deforesting Parameters of Accumulating Maps. 46 KazuhikoKakehi,RobertGluck, ¨ YoshihikoFutamura(Waseda University,Tokyo,Japan) Equivalence in Answer Set Programming. 57 MauricioOsorio,JuanA. Navarro,Jos´eArrazola(Universidaddelas Am´ericas,Puebla,M´exico) ProgramVeri?caion Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols. 76 GiorgioDelzanno(UniversityofGenova,Italy),SandroEtalle(CWI andUniversityofTwente,TheNetherlands) Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
- Mathematik | Informatik EDV | Informatik Informatik Rechnerarchitektur
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz Wissensbasierte Systeme, Expertensysteme
Weitere Infos & Material
Invited Speaker.- Static Analysis for Safe Destructive Updates in a Functional Language.- Program Transformation and Equivalence.- A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs.- On Deforesting Parameters of Accumulating Maps.- Equivalence in Answer Set Programming.- Program Verificaion.- Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols.- Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking.- Verification of Sets of Infinite State Processes Using Program Transformation.- Program Analysis.- When Size Does Matter.- Symbolic Profiling for Multi-paradigm Declarative Languages.- Program Development.- Correct Object-Oriented Systems in Computational Logic.- A Framework for Developing Embeddable Customized Logics.- Computing Environment-Aware Agent Behaviours with Logic Program Updates.- Program Synthesis.- Extracting General Recursive Program Schemes in Nuprl’s Type Theory.- Extracting Exact Time Bounds from Logical Proofs.
