Logic Based Program Synthesis and Transformation 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers
Description
. . . . . . . 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. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Keywords
ComputersSoftware Development & EngineeringProgrammingIntelligence (AI) & SemanticsMathematicsLogicInformation TechnologyDiscrete Mathematics
2001Book
Author(s)LOPSTR 2000 (2000 London, England)
PublisherSpringer Science & Business Media
ISBN9783540421276
LanguageEnglish
