Logic-based program synthesis and transformation. 9th international workshop, LOPSTR '99. Venice, Italy, September 22--24, 1999. Selected papers (Q1572696)

The articles of mathematical interest will be reviewed individually. The workshop (4th, 1994) has been indicated (see Zbl 0804.68006). Indexed articles: \textit{Sannella, Donald}, Algebraic specification and program development by stepwise refinement. (Extended abstract), 1-9 [Zbl 0964.68564] \textit{Ducassé, Mireille; Rozé, Laurence}, Proof obligations of the B formal method: Local proofs ensure global consistency, 10-29 [Zbl 0964.68559] \textit{Fribourg, Laurent}, Constraint logic programming applied to model checking, 30-41 [Zbl 0964.68555] \textit{Küster Filipe, Juliana; Lau, Kung-Kiu; Ornaghi, Mario; Yatsu, Hirokazu}, On dynamic aspects of OOD frameworks in component-based software development in computational logic, 42-61 [Zbl 0964.68029] \textit{Leuschel, Michael; Massart, Thierry}, Infinite state model checking by abstract interpretation and program specialisation, 62-81 [Zbl 0964.68086] \textit{Smaus, Jan-Georg; Hill, Patricia M.; King, Andy}, Mode analysis domains for typed logic programs, 82-101 [Zbl 0964.68012] \textit{Peralta, Julio C.; Gallagher, John P.}, Imperative program specialisation: An approach using CLP, 102-117 [Zbl 0964.68557] \textit{Howe, Jacob M.; King, Andy}, Specialising finite domain programs using polyhedra, 118-135 [Zbl 0964.68013] \textit{Lämmel, Ralf; Riedewald, Günter; Lohmann, Wolfgang}, Roles of program extension, 136-155 [Zbl 0964.68561] \textit{Bossi, Annalisa; Cocco, Nicoletta; Etalle, Sandro}, Transformation of left terminating programs, 156-175 [Zbl 0964.68014] \textit{Pettorossi, Alberto; Proietti, Maurizio}, Transformation rules for logic programs with goals as arguments, 176-195 [Zbl 0964.68015] \textit{Ross, Peter; Overton, David; Somogyi, Zoltan}, Making Mercury programs tail recursive, 196-215 [Zbl 0964.68558] \textit{Bertolino, Marco; Etalle, Sandro; Palamidessi, Catuscia}, The replacement operation for CCP programs, 216-233 [Zbl 0964.68021] \textit{Kulaš, Marija}, Annotations for Prolog -- a concept and runtime handling, 234-254 [Zbl 0964.68553] \textit{Le Métayer, Daniel; Nicolas, Valérie-Anne; Ridoux, Olivier}, Verification by testing fro recursive program schemes, 255-272 [Zbl 0964.68085] \textit{Puebla, Germán; Bueno, Francisco; Hermenegildo, Manuel}, Combined static and dynamic assertion-based debugging of constraint logic programs, 273-292 [Zbl 0964.68016] \textit{Giesl, Jürgen}, Context-moving transformations for function verification, 293-312 [Zbl 0964.68020]