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

Name: Program Development in Computational Logic A Decade of Research Advances in Logic-Based Program Development
Availability: InStock
ISBN: 9783540221524

ISBN-10: 3540221522

ISBN-13: 9783540221524

Edition: 2004

Authors: Maurice Bruynooghe, Kung-Kiu Lau

List price: $54.99

30 day, 100% satisfaction guarantee!

Rent eBooks

30 day rental: $16.50 Expiration date: 5/24/2024

60 day rental: $22.00 Expiration date: 6/23/2024

90 day rental: $27.50 Expiration date: 7/23/2024

120 day rental: $33.00 Expiration date: 8/22/2024

180 day rental: $35.75 Expiration date: 10/21/2024

Marketplace

2 new & used from $52.82

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

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