Projection factorisations in partial evaluation

Bibliographic Information

Projection factorisations in partial evaluation

John Launchbury

(Distinguished dissertations in computer science)

Cambridge University Press, 1991

Available at  / 13 libraries

Search this Book/Journal

Note

Bibliography: p155-160. - Includes index

Description and Table of Contents

Description

Programming frequently requires that problems are broken down into subproblems and then each subproblem solved independently. These solutions may then be combined to provide a solution to the original problem. Partial evaluation is a serious attempt to tackle this issue, allowing the programmer to write programs in a highly interpretive style without paying the price in efficiency. This thesis covers the theory and practice behind practical evaluation.

Table of Contents

  • Abstract
  • Preface
  • 1. Partial evaluation in principle
  • 2. Partial evaluation in practice
  • 3. Static projections
  • 4. Binding-time analysis
  • 5. Run time arguments
  • 6. Implementation
  • 7. Polymorphism
  • 8. Conclusion
  • Appendices
  • Bibliography
  • Index.

by "Nielsen BookData"

Related Books: 1-1 of 1

Details

  • NCID
    BA1343845X
  • ISBN
    • 0521414970
  • Country Code
    uk
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Cambridge
  • Pages/Volumes
    xii, 163 p.
  • Size
    26 cm
  • Classification
  • Parent Bibliography ID
Page Top