Program Development in Computational Logic - Softcover

Softcover

ISBN 10: 3662164876 ISBN 13: 9783662164877

Verlag: Springer, 2014

Inhaltsangabe

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.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2014
• Sprache: Englisch
• ISBN 10: 3662164876
• ISBN 13: 9783662164877
• Einband: Taschenbuch
• Anzahl der Seiten: 552
• Herausgeber: Bruynooghe Maurice, Lau Kung-Kiu
• Kontakt zum Hersteller: ROXIO; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; 22391; Deutschland