Implementation of Term Rewriting-Based Programming Languages: Advances in Computation: Theory and Practice (Advances in the Theory of Computational Mathematics, V. 13.) - Hardcover

Nadia Nedjah; Luiza De Macedo Mourelle

 
9781590336458: Implementation of Term Rewriting-Based Programming Languages: Advances in Computation: Theory and Practice (Advances in the Theory of Computational Mathematics, V. 13.)

Synopsis

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.

"synopsis" may belong to another edition of this title.