Buch, Englisch, Band 2042, 188 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 306 g
10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers
Buch, Englisch, Band 2042, 188 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 306 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-42127-6
Verlag: Springer Berlin Heidelberg
inArti?cialIntelligence 1861, Springer-Verlag,2000. 3 K. -K. Lau,editor, Pre-Proceedings of the Tenth International Workshop on Log- basedProgramSynthesisandTransformation, Technical Report UMCS-00-6-1, - partment of Computer Science, University of Manchester, June 2000. ISSN 1361- 6161. (Electronic version at: http://www. cs. man. ac. uk/cstechrep/Abstracts/ UMCS-00-6-1. html. ) Program Chair Kung-KiuLau UniversityofManchester,UK Program Committee DavidBasin Albert-Ludwigs-Universit¨atFreiburg,Germany AnnalisaBossi Universit`aCa’FoscaridiVenezia,Italy AntonioBrogi Universit`adiPisa,Italy MauriceBruynooghe KatholiekeUniversiteitLeuven,Belgium MireilleDucass´e IRISA/INSA,France SandroEtalle UniversiteitMaastricht,TheNetherlands PierreFlener UppsalaUniversity,Sweden MichaelHanus Christian-Albrechts-Universit¨atzuKiel,Germany IanHayes UniversityofQueensland,Australia ManuelHermenegildo TechnicalUniversityofMadrid,Spain PatriciaHill UniversityofLeeds,UK BaudouinLeCharlier UniversityofNamur,Belgium MichaelLeuschel UniversityofSouthampton,UK MichaelLowry NASAAmesResearchCenter,USA AliMili WestVirginiaUniversity,USA TorbenMogensen UniversityofCopenhagen,Denmark AlbertoPettorossi UniversityofRomeTorVergata,Italy DonSannella UniversityofEdinburgh,UK DougSmith KestrelInstitute,USA ZoltanSomogyi UniversityofMelbourne,Australia Additional Referees JamieAndrews IanGreen Germ´anPuebla AlessandroAvellone DavidHemer OlivierRidoux YvesBekkers BrahimHnich DaveRobertson FranciscoBueno EdKazmierczak SabinaRossi NicolettaCocco ZeynepK?z?ltan SalvatoreRuggieri RobertColvin ElviraPino JudithUnderwood MauroFerrari MaurizioProietti Germ´anVidal Table of Contents Synthesis AFormalFrameworkforSynthesisandVeri?cationofLogicPrograms. 1 AlessandroAvellone,MauroFerrariandCamilloFiorentini ProtocolsbetweenProgramsandProofs. 18 ImanPoernomoandJohnN. Crossley ATechniqueforModularLogicProgramRe?nement. 38 RobertColvin,IanHayesandPaulStrooper Transformation Higher-OrderTransformationofLogicPrograms. 57 SilvijaSeresandMichaelSpivey Analysis Non-transformationalTerminationAnalysisofLogicPrograms, BasedonGeneralTerm-Orderings. 69 AlexanderSerebrenikandDannyDeSchreye Specialisation AModelforInter-moduleAnalysisandOptimizingCompilation. 86 FranciscoBueno,Mar´?aGarc´?adelaBanda,ManuelHermenegildo, KimMarriott,Germ´anPueblaandPeterJ. Stuckey MeasuringtheE?ectivenessofPartialEvaluation inFunctionalLogicLanguages. 103 ElviraAlbert,SergioAntoyandGerm´anVidal AutomatedStrategiesforSpecializingConstraintLogicPrograms. 125 FabioFioravanti,AlbertoPettorossiandMaurizioProietti Abstract Interpretation MeasuringthePrecisionofAbstractInterpretations. 147 AlessandraDiPierroandHerbertWiklicky VIII TableofContents Debugging SpecifyingPrologTraceModelswithaContinuationSemantics. 165 ErwanJahier,MireilleDucass´eandOlivierRidoux Author Index.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz Wissensbasierte Systeme, Expertensysteme
Weitere Infos & Material
Synthesis.- A Formal Framework for Synthesis and Verification of Logic Programs.- Protocols between Programs and Proofs.- Protocols between Programs and Proofs.- A Technique for Modular Logic Program Refinement.- A Technique for Modular Logic Program Refinement.- Transformation.- Higher-Order Transformation of Logic Programs.- Analysis.- Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings.- Specialisation.- A Model for Inter-module Analysis and Optimizing Compilation.- Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages.- Automated Strategies for Specializing Constraint Logic Programs.- Abstract Interpretation.- Measuring the Precision of Abstract Interpretations.- Debugging.- Specifying Prolog Trace Models with a Continuation Semantics.
