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

Couverture souple

ISBN 10 : 3662164876 ISBN 13 : 9783662164877

Editeur : Springer, 2014

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.

Détails de l'édition

• Éditeur: Springer
• Date d'édition: 2014
• Langue: anglais
• ISBN 10: 3662164876
• ISBN 13: 9783662164877
• Reliure: Broché
• Coordonnées du fabricant: KINESIS; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; 22391; Allemagne