Skip to content

Program Development in Computational Logic A Decade of Research Advances in Logic-Based Program Development

Spend $50 to get a free movie!

ISBN-10: 3540221522

ISBN-13: 9783540221524

Edition: 2004

Authors: Maurice Bruynooghe, Kung-Kiu Lau

List price: $54.99
Blue ribbon 30 day, 100% satisfaction guarantee!
Out of stock
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!

Customers also bought

Book details

List price: $54.99
Copyright year: 2004
Publisher: Springer Berlin / Heidelberg
Publication date: 6/17/2004
Binding: Paperback
Pages: 539
Size: 6.10" wide x 9.25" long x 0.48" tall
Weight: 3.718
Language: English

Specifying compositional units for correct program development in computational logic
Synthesis of programs in computational logic
Developing logic programs from specifications using stepwise refinement
Declarative semantics of input consuming logic programs
On the semantics of logic program composition
Analysing logic programs by reasoning backwards
Binding time analysis for mercury
A generic framework for context-sensitive analysis of modular programs
Unfold/fold transformations for automated verification of parameterized concurrent systems
Transformation rules for locally stratified constraint logic programs
Specialising interpreters using offline partial deduction
Characterisations of termination in logic programming
On the inference of natural level mappings
Proving termination for logic programs by the query-mapping pairs approach
Herbrand constraint solving in HAL