𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Rewriting Calculus with(out) Types

✍ Scribed by Horatiu Cirstea; Claude Kirchner; Luigi Liquori

Book ID
104445784
Publisher
Elsevier Science
Year
2004
Tongue
English
Weight
258 KB
Volume
71
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The simply typed rewriting calculus
The simply typed rewriting calculus
✍ Horatiu Cirstea; Claude Kirchner πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 202 KB
Communication set generations with CSD c
Communication set generations with CSD calculus and expression-rewriting framework
✍ Gwan-Hwan Hwang; Jenq Kuen Lee πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 365 KB

In this paper, we present a new framework based on expression-rewritings and a calculus form called common-stride descriptor (CSD) calculus to generate the local enumeration set and communication set for High Performance Fortran (HPF) programs with ``Block-Cyclic'' distributions. Our framework is a