Logic-based program synthesis and transformation. 9th international workshop, LOPSTR '99. Venice, Italy, September 22--24, 1999. Selected papers
type: Item
instance of: scholarly article
title: Logic-based program synthesis and transformation. 9th international workshop, LOPSTR '99. Venice, Italy, September 22--24, 1999. Selected papers
zbMATH Open document ID: 0941.00033
DOI: 10.1007/10720327
published in: Lecture Notes in Computer Science
publication date: 2000-07-26T00:00:00Z
review text: 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 hand…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 1481711
zbMATH Keywords: Venice (Italy)
zbMATH Keywords: Proceedings
zbMATH Keywords: Workshop
zbMATH Keywords: LOPSTR '99
zbMATH Keywords: Logic program synthesis
zbMATH Keywords: Transformation
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/10720327
OpenAlex ID: W2483080369
description: scientific article; zbMATH DE number 1481711