Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Maurice Bruynooghe, Kung-Kiu Lau
Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development
PDCL, 2004.

PLT
DBLP
Scholar
Full names Links ISxN
@proceedings{PDCL-2004,
	editor        = "Maurice Bruynooghe and Kung-Kiu Lau",
	isbn          = "3-540-22152-2",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development}",
	volume        = 3049,
	year          = 2004,
}

Contents (15 items)

PDCL-2004-LauO #composition #development #logic #specification
Specifying Compositional Units for Correct Program Development in Computational Logic (KKL, MO), pp. 1–29.
PDCL-2004-BasinDFHN #logic #source code #synthesis
Synthesis of Programs in Computational Logic (DAB, YD, PF, AH, JFN), pp. 30–65.
PDCL-2004-ColvinGHHNS #logic programming #refinement #source code #specification #using
Developing Logic Programs from Specifications Using Stepwise Refinement (RC, LG, IJH, DH, RN, PAS), pp. 66–89.
PDCL-2004-BossiCER #declarative #logic programming #semantics #source code
Declarative Semantics of Input Consuming Logic Programs (AB, NC, SE, SR), pp. 90–114.
PDCL-2004-Brogi #composition #logic programming #on the #semantics
On the Semantics of Logic Program Composition (AB), pp. 115–151.
PDCL-2004-HoweKL #logic programming #reasoning #source code
Analysing Logic Programs by Reasoning Backwards (JMH, AK, LL), pp. 152–188.
PDCL-2004-VanhoofBL #analysis
Binding-Time Analysis for Mercury (WV, MB, ML), pp. 189–232.
PDCL-2004-PueblaCHBBMS #analysis #composition #framework #source code
A Generic Framework for Context-Sensitive Analysis of Modular Programs (GP, JC, MVH, FB, MJGdlB, KM, PJS), pp. 233–260.
PDCL-2004-RoychoudhuryR #automation #concurrent #verification
Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems (AR, CRR), pp. 261–290.
PDCL-2004-FioravantiPP #constraints #logic programming #source code
Transformation Rules for Locally Stratified Constraint Logic Programs (FF, AP, MP), pp. 291–339.
PDCL-2004-LeuschelCBV #deduction #using
Specialising Interpreters Using Offline Partial Deduction (ML, SJC, MB, WV), pp. 340–375.
PDCL-2004-PedreschiRS #logic programming #termination
Characterisations of Termination in Logic Programming (DP, SR, JGS), pp. 376–431.
PDCL-2004-MartinK #on the
On the Inference of Natural Level Mappings (JCM, AK), pp. 432–452.
PDCL-2004-LindenstraussSS #approach #logic programming #proving #source code #termination
Proving Termination for Logic Programs by the Query-Mapping Pairs Approach (NL, YS, AS), pp. 453–498.
PDCL-2004-DemoenBHMOS #constraints
Herbrand Constraints in HAL (BD, MJGdlB, WH, KM, DO, PJS), pp. 499–538.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.