Logic Based Program Synthesis and Transformation 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers
0
0
....... 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...........................................
Page Count:
188
Publication Date:
2001-05-01
Community Tags
Reader Comments
Share Your Thoughts
No comments yet. Be the first to share your thoughts!