Projection factorisations in partial evaluation
著者
書誌事項
Projection factorisations in partial evaluation
(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」 より