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

Partial Evaluation

Overview of attention for book
Cover of 'Partial Evaluation'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 An automatic interprocedural analysis for the understanding of scientific application programs
  3. Altmetric Badge
    Chapter 2 Practical aspects of specialization of Algol-like programs
  4. Altmetric Badge
    Chapter 3 Synchronization analyses for multiple recursion parameters
  5. Altmetric Badge
    Chapter 4 A uniform approach for compile-time and run-time specialization
  6. Altmetric Badge
    Chapter 5 Pragmatics of type-directed partial evaluation
  7. Altmetric Badge
    Chapter 6 Compiler generation for interactive graphics using intermediate code
  8. Altmetric Badge
    Chapter 7 Regular approximation of computation paths in logic and functional languages
  9. Altmetric Badge
    Chapter 8 A roadmap to metacomputation by supercompilation
  10. Altmetric Badge
    Chapter 9 Reasoning about hierarchies of online program specialization systems
  11. Altmetric Badge
    Chapter 10 Type specialisation for the λ-calculus; or, a new paradigm for partial evaluation based on type inference
  12. Altmetric Badge
    Chapter 11 What not to do when writing an interpreter for specialisation
  13. Altmetric Badge
    Chapter 12 Efficiently generating efficient generating extensions in prolog
  14. Altmetric Badge
    Chapter 13 Global control for partial deduction through characteristic atoms and global trees
  15. Altmetric Badge
    Chapter 14 Squeezing intermediate construction in equational programs
  16. Altmetric Badge
    Chapter 15 Evolution of partial evaluators: Removing inherited limits
  17. Altmetric Badge
    Chapter 16 A Self-Applicable supercompiler
  18. Altmetric Badge
    Chapter 17 Multi-Level Lambda-Calculi: An algebraic description
  19. Altmetric Badge
    Chapter 18 A comparative revisitation of some program transformation techniques
  20. Altmetric Badge
    Chapter 19 A theory of logic program specialization and generalization for dealing with input data properties
  21. Altmetric Badge
    Chapter 20 Program specialization via program slicing
  22. Altmetric Badge
    Chapter 21 Specialization of imperative programs through analysis of relational expressions
  23. Altmetric Badge
    Chapter 22 ML pattern match compilation and partial evaluation
  24. Altmetric Badge
    Chapter 23 Self-applicable online partial evaluation
  25. Altmetric Badge
    Chapter 24 Metacomputation: Metasystem transitions plus supercompilation
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
2 X users

Citations

dimensions_citation
43 Dimensions

Readers on

mendeley
5 Mendeley
Summary X Dimensions citations
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.
Title
Partial Evaluation
Published by
Springer Berlin Heidelberg, January 2006
DOI 10.1007/3-540-61580-6
ISBNs
978-3-54-061580-4, 978-3-54-070589-5
Editors

Danvy, Olivier, Glück, Robert, Thiemann, Peter

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.
 Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 5 100%

Demographic breakdown

Readers by professional status Count As %
Professor 1 20%
Unknown 4 80%
Readers by discipline Count As %
Computer Science 1 20%
Unknown 4 80%

This page is provided by Altmetric.