Items related to Program Development in Computational Logic: A Decade...
Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development - Softcover
Synopsis
Specification and Synthesis.- Specifying Compositional Units for Correct Program Development in Computational Logic.- Synthesis of Programs in Computational Logic.- Developing Logic Programs from Specifications Using Stepwise Refinement.- Semantics.- Declarative Semantics of Input Consuming Logic Programs.- On the Semantics of Logic Program Composition.- Analysis.- Analysing Logic Programs by Reasoning Backwards.- Binding-Time Analysis for Mercury.- A Generic Framework for Context-Sensitive Analysis of Modular Programs.- Transformation and Specialisation.- Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems.- Transformation Rules for Locally Stratified Constraint Logic Programs.- Specialising Interpreters Using Offline Partial Deduction.- Termination.- Characterisations of Termination in Logic Programming.- On the Inference of Natural Level Mappings.- Proving Termination for Logic Programs by the Query-Mapping Pairs Approach.- Systems.- Herbrand Constraints in HAL.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2014
- ISBN 10 3662164876
- ISBN 13 9783662164877
- BindingPaperback
- LanguageEnglish
- Number of pages552
- EditorBruynooghe Maurice, Lau Kung-Kiu
Search results for Program Development in Computational Logic: A Decade...
Stock Image
Program Development in Computational Logic
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9783662164877
Quantity: Over 20 available
Stock Image
Program Development in Computational Logic
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9783662164877
Quantity: Over 20 available
Stock Image
Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783662164877_new
Quantity: Over 20 available