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

A verified framework for higher-order uncurrying optimizations

โœ Scribed by Zaynah Dargaye; Xavier Leroy

Book ID
106452399
Publisher
Springer
Year
2009
Tongue
English
Weight
682 KB
Volume
22
Category
Article
ISSN
1388-3690

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

CRAFT: a framework for F90/HPF compiler
CRAFT: a framework for F90/HPF compiler optimizations
โœ Wu, Jan-Jan; Chen, Marina; Cowie, James ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 416 KB ๐Ÿ‘ 1 views

In this paper, we give an overview of the results of the CRAFT optimising compiler project (Fortran 90/HPF subset compilers). We start by describing the theoretical framework within which we designed program transformations for the optimization of inter-and intraprocedural data motion, as well as th