Projection factorisations in partial evaluation

書誌事項

Projection factorisations in partial evaluation

John Launchbury

(Distinguished dissertations in computer science)

Cambridge University Press, 1991

大学図書館所蔵 件 / 13

この図書・雑誌をさがす

注記

Bibliography: p155-160. - Includes index

内容説明・目次

内容説明

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.

目次

  • 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.

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BA1343845X
  • ISBN
    • 0521414970
  • 出版国コード
    uk
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Cambridge
  • ページ数/冊数
    xii, 163 p.
  • 大きさ
    26 cm
  • 分類
  • 親書誌ID
ページトップへ