Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems
Book chapter (January 2009)
The most recent citing publication is shown below. View this citation on Dimensions.
Logic-Based Program Synthesis and Transformation
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Space Invading Systems Code
-
Altmetric BadgeChapter 2 Test Data Generation of Bytecode by CLP Partial Evaluation
-
Altmetric BadgeChapter 3 A Modular Equational Generalization Algorithm
-
Altmetric BadgeChapter 4 A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs
-
Altmetric BadgeChapter 5 Analysis of Linear Hybrid Systems in CLP
-
Altmetric BadgeChapter 6 Automatic Generation of Test Inputs for Mercury
-
Altmetric BadgeChapter 7 Analytical Inductive Functional Programming
-
Altmetric BadgeChapter 8 The MEB and CEB Static Analysis for CSP Specifications
-
Altmetric BadgeChapter 9 Fast Offline Partial Evaluation of Large Logic Programs
-
Altmetric BadgeChapter 10 An Inference Algorithm for Guaranteeing Safe Destruction
-
Altmetric BadgeChapter 11 From Monomorphic to Polymorphic Well-Typings and Beyond
-
Altmetric BadgeChapter 12 On Negative Unfolding in the Answer Set Semantics