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

@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)

7 ×#logic programming
7 ×#source code
3 ×#composition
2 ×#analysis
2 ×#constraints
2 ×#logic
2 ×#on the
2 ×#semantics
2 ×#specification
2 ×#termination

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.