- ホーム
- > 洋書
- > 英文書
- > Computer / Languages
Full Description
This book presents new compilation, analysis, optimisation and evaluation techniques for implementation of lazy functional programming languages on sequential computers. As a framework for developing these techniques, the authors use the equational language (pioneered by O'Donnell, Huet and Levy) wherein programs consist of functions defined by pattern matching equations of the form pattern = template Interpreted as left-to-right rules.
Contents
ContentsStrategies; A Rewriting Machine; Improvements Based on Right Sides; Optimal Left-to-Right Matching Automata; Adaptive Traversal Orders; Conclusions and Advanced Topics; Bibliography; Index.NER(01): GB IE