↓ Skip to main content
What is this page? Embed badge

Logic Based Program Synthesis and Transformation

Overview of attention for book
Cover of 'Logic Based Program Synthesis and Transformation'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM
  3. Altmetric Badge
    Chapter 2 Declarative Programming with Function Patterns
  4. Altmetric Badge
    Chapter 3 Transformational Verification of Parameterized Protocols Using Array Formulas
  5. Altmetric Badge
    Chapter 4 Design and Implementation of ${\mathcal A}_T$ : A Real-Time Action Description Language
  6. Altmetric Badge
    Chapter 5 An Algorithm for Local Variable Elimination in Normal Logic Programs
  7. Altmetric Badge
    Chapter 6 Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs
  8. Altmetric Badge
    Chapter 7 Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives
  9. Altmetric Badge
    Chapter 8 Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates
  10. Altmetric Badge
    Chapter 9 A Transformational Semantics of Static Embedded Implications of Normal Logic Programs
  11. Altmetric Badge
    Chapter 10 Converting One Type-Based Abstract Domain to Another
  12. Altmetric Badge
    Chapter 11 Experiments in Context-Sensitive Analysis of Modular Programs
Attention for Chapter 10: Converting One Type-Based Abstract Domain to Another
Altmetric Badge

Readers on

mendeley
1 Mendeley
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Converting One Type-Based Abstract Domain to Another
Chapter number 10
Book title
Logic Based Program Synthesis and Transformation
Published by
Springer, Berlin, Heidelberg, September 2005
DOI 10.1007/11680093_10
Book ISBNs
978-3-54-032654-0, 978-3-54-032656-4
Authors

John P. Gallagher, Germán Puebla, Elvira Albert

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Doctoral Student 1 100%
Readers by discipline Count As %
Computer Science 1 100%

This page is provided by Altmetric.