Logic based program synthesis and transformation. 10th international workshop, LOPSTR 2000, London, GB, July 24--28, 2000. Selected papers (Q5941712)

The articles of this volume will be reviewed individually. The preceding workshop (9th, 1999) has been reviewed (see Zbl 0941.00033). Indexed articles: \textit{Avellone, Alessandro; Ferrari, Mauro; Fiorentini, Camillo}, A formal framework for synthesis and verification of logic programs, 1-17 [Zbl 1017.68031] \textit{Poernomo, Iman; Crossley, John N.}, Protocols between programs and proofs, 18-37 [Zbl 1017.68036] \textit{Colvin, Robert; Hayes, Ian; Strooper, Paul}, A technique for modular logic program refinement, 38-56 [Zbl 1017.68032] \textit{Seres, Silvija; Spivey, Michael}, Higher-order transformation of logic programs, 57-68 [Zbl 1018.68504] \textit{Serebrenik, Alexander; De Schreye, Danny}, Non-transformational termination analysis of logic programs, based on general term-orderings, 69-85 [Zbl 1017.68033] \textit{Bueno, Francisco; García de la Banda, María; Hermenegildo, Manuel; Marriott, Kim; Puebla, Germán; Stuckey, Peter J.}, A model for inter-module analysis and optimizing compilation, 86-102 [Zbl 1018.68501] \textit{Albert, Elvira; Antoy, Sergio; Vidal, Germán}, Measuring the effectiveness of partial evaluation in functional logic languages, 103-124 [Zbl 1018.68500] \textit{Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio}, Automated strategies for specializing constraint logic programs, 125-146 [Zbl 1018.68502] \textit{Di Pierro, Alessandra; Wiklicky, Herbert}, Measuring the precision of abstract interpretations, 147-164 [Zbl 1018.68505] \textit{Jahier, Erwan; Ducassé, Mireille; Ridoux, Olivier}, Specifying Prolog trace models with a continuation semantics, 165-181 [Zbl 1018.68503]