Program Specialization
Monograph (December 2012)
The most recent citing publication is shown below. View this citation on Dimensions.
Program Development in Computational Logic
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Specifying Compositional Units for Correct Program Development in Computational Logic
-
Altmetric BadgeChapter 2 Synthesis of Programs in Computational Logic
-
Altmetric BadgeChapter 3 Developing Logic Programs from Specifications Using Stepwise Refinement
-
Altmetric BadgeChapter 4 Declarative Semantics of Input Consuming Logic Programs
-
Altmetric BadgeChapter 5 On the Semantics of Logic Program Composition
-
Altmetric BadgeChapter 6 Analysing Logic Programs by Reasoning Backwards
-
Altmetric BadgeChapter 7 Binding-Time Analysis for Mercury
-
Altmetric BadgeChapter 8 A Generic Framework for Context-Sensitive Analysis of Modular Programs
-
Altmetric BadgeChapter 9 Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems
-
Altmetric BadgeChapter 10 Transformation Rules for Locally Stratified Constraint Logic Programs
-
Altmetric BadgeChapter 11 Specialising Interpreters Using Offline Partial Deduction
-
Altmetric BadgeChapter 12 Characterisations of Termination in Logic Programming
-
Altmetric BadgeChapter 13 On the Inference of Natural Level Mappings
-
Altmetric BadgeChapter 14 Proving Termination for Logic Programs by the Query-Mapping Pairs Approach
-
Altmetric BadgeChapter 15 Herbrand Constraints in HAL
Attention for Chapter 1:
Specifying Compositional Units for Correct Program Development in Computational Logic