๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Preface: Volume 70, Issue 6

โœ Scribed by Bernhard Gramlich; Salvador Lucas


Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
55 KB
Volume
70
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

โœฆ Synopsis


Reduction strategies in rewriting and programming have attracted an increasing attention within the last years. New types of reduction strategies 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, head-normalization) 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, and termination proofs of algorithms. WRS 2002 is the second edition in a series of workshops intended to stimulate and promote research and progress in this important field. The workshop wants to provide a forum for the presentation and discussion of new ideas and results, recent developments, new research directions, as well as of surveys on existing knowledge in this area. Furthermore we aim at fostering interaction and exchange between researchers and students actively working on such topics. WRS 2001 took place in Utrecht,


๐Ÿ“œ SIMILAR VOLUMES


Preface: Volume 70, Issue 3
โœ John Derrick; Eerke Boiten; Jim Woodcock; Joakim von Wright ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 47 KB
Preface: Volume 70, Issue 1
โœ Steffen van Bakel ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 43 KB
Preface: Volume 70, Issue 2
โœ Frank Pfenning ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 41 KB
Preface: Volume 70, Issue 4
โœ Klaus Havelund; Grigore Rosu ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 43 KB
Preface: Volume 82, Issue 6
โœ Mauro Pezzรจ ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 41 KB
Preface: Volume 65, Issue 6
โœ Eugene Asarin; Oded Maler; Sergio Yovine ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 49 KB