Program development in computational logic. A decade of research advances in logic-based program development.
type: Item
instance of: scholarly article
title: Program development in computational logic. A decade of research advances in logic-based program development.
zbMATH Open document ID: 1051.68004
published in: Lecture Notes in Computer Science
publication date: 2004-12-17T00:00:00Z
review text: 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…
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 00B15
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 2123475
MaRDI profile type: Publication
full work available at URL: b98187
OpenAlex ID: W2504992661
DOI: 10.1007/B98187
Recommended article: Q4256671
Recommended article: Q3326827
Recommended article: Program Development in Computational Logic
Recommended article: Q4594004
Recommended article: Q4341024
Recommended article: Some results and experiments in programming techniques for propositional logic
Recommended article: Programming logics. Essays in memory of Harald Ganzinger
Recommended article: Q4038676
Recommended article: Q3774999
Recommended article: A category-theoretical approach to logic program development
description: scientific article; zbMATH DE number 2123475