Program development in computational logic. A decade of research advances in logic-based program development.
The articles of this volume will be reviewed individually. Indexed articles: \textit{Lau, Kung-Kiu; Ornaghi, Mario}, Specifying compositional units for correct program development in computational logic, 1-29 [Zbl 1080.68563] \textit{Basin, David; Deville, Yves; Flener, Pierre; Hamfelt, Andreas; Fischer Nilsson, Jørgen}, Synthesis of programs in computational logic, 30-65 [Zbl 1080.68562] \textit{Colvin, Robert; Groves, Lindsay; Hayes, Ian J.; Hemer, David; Nickson, Ray; Strooper, Paul}, Developing logic programs from specifications using stepwise refinement, 66-89 [Zbl 1080.68550] \textit{Bossi, Annalisa; Cocco, Nicoletta; Etalle, Sandro; Rossi, Sabina}, Declarative semantics of input consuming logic programs, 90-114 [Zbl 1080.68548] \textit{Brogi, Antonio}, On the semantics of logic program composition, 115-151 [Zbl 1080.68549] \textit{Howe, Jacob M.; King, Andy; Lu, Lunjin}, Analysing logic programs by reasoning backwards, 152-188 [Zbl 1080.68552] \textit{Vanhoof, Wim; Bruynooghe, Maurice; Leuschel, Michael}, Binding-time analysis for mercury, 189-232 [Zbl 1080.68558] \textit{Puebla, Germán; Correas, Jesús; Hermenegildo, Manuel V.; Bueno, Francisco; García de la Banda, María; Marriott, Kim; Stuckey, Peter J.}, A generic framework for context-sensitive analysis of modular programs, 233-260 [Zbl 1080.68557] \textit{Roychoudhury, Abhik; Ramakrishnan, C. R.}, Unfold/fold transformations for automated verification of parameterized concurrent systems, 261-290 [Zbl 1080.68602] \textit{Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio}, Transformation rules for locally stratified constraint logic programs, 291-339 [Zbl 1080.68010] \textit{Leuschel, Michael; Craig, Stephen J.; Bruynooghe, Maurice; Vanhoof, Wim}, Specialising interpreters using offline partial deduction, 340-375 [Zbl 1080.68553] \textit{Pedreschi, Dino; Ruggieri, Salvatore; Smaus, Jan-Georg}, Characterisations of termination in logic programming, 376-431 [Zbl 1080.68556] \textit{Martin, Jonathan C.; King, Andy}, On the inference of natural level mappings, 432-452 [Zbl 1080.68555] \textit{Lindenstrauss, Naomi; Sagiv, Yehoshua; Serebrenik, Alexander}, Proving termination for logic programs by the query-mapping pairs approach, 453-498 [Zbl 1080.68554] \textit{Demoen, Bart; García de la Banda, María; Harvey, Warwick; Marriott, Kim; Overton, David; Stuckey, Peter J.}, Herbrand constraints in HAL, 499-538 [Zbl 1080.68551]
scientific article; zbMATH DE number 2123475