Can I read Journal of Symbolic Computation, Volume 40, issues 1-6 40 1-6 on EtoBox?

Journal of Symbolic Computation, Volume 40, issues 1-6 40 1-6 by Bernhard Gramlich; Salvador Lucas is a nonfiction available to read on EtoBox.

What is Journal of Symbolic Computation, Volume 40, issues 1-6 40 1-6 about?

Reduction strategies in rewriting and programming have attracted increasing attention within the last few years. New types of reduction strategy have been invented and investigated, and new results on rewriting/computation under particular strategies have been obtained. Research in this field ranges from primarily theoretical questions about reduction strategies to very practical application and implementation issues. The need for a deeper understanding of reduction strategies in rewriting and programming, both in theory and practice, is obvious, since they bridge the gap between unrestricted general rewriting (computation) and (more deterministic) rewriting with particular strategies (programming). Moreover, reduction strategies provide a natural way to go from operational principles (e.g., graph and term rewriting, narrowing, lambda-calculus) and semantics (e.g., normalization, computation of values, infinitary normalization, headnormalization) to implementations of programming languages. Therefore any progress in this area is likely to be of interest not only to the rewriting community, but also to neighbouring fields like functional programming, functional-logic programming, an

Who reads Journal of Symbolic Computation, Volume 40, issues 1-6 40 1-6?

Author

Bernhard Gramlich; Salvador Lucas

Publisher

Academic Press

Published

2005

Language

EN

Category

nonfiction