✦ LIBER ✦

VOC: A Translation Validator for Optimizing Compilers

✍ Scribed by Lenore Zuck; Amir Pnueli; Yi Fang; Benjamin Goldberg

Book ID: 104444792
Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 416 KB
Volume: 65
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80393-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Component approach for construction of o

Component approach for construction of optimizing compilers

✍ A. Yu. Drozdov 📂 Article 📅 2009 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 193 KB

Optimizing Compilers for Modern Architec

Optimizing Compilers for Modern Architectures: A Dependence-Based Approach [Book Review]

📂 Article 📅 2002 🏛 IEEE 🌐 English ⚖ 220 KB

Using Graph Models in Retargetable Optim

Using Graph Models in Retargetable Optimizing Compilers for Microprocessors with VLIW Architectures

✍ A. E. Doroshenko; D. V. Ragozin 📂 Article 📅 2003 🏛 Springer US 🌐 English ⚖ 144 KB

Specific optimization features in a C co

Specific optimization features in a C compiler for DSPs

✍ V. V. Rubanov; A. I. Grinevich; D. A. Markovtsev 📂 Article 📅 2006 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 169 KB

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

A GPGPU compiler for memory optimization

A GPGPU compiler for memory optimization and parallelism management

✍ Yang, Yi; Xiang, Ping; Kong, Jingfei; Zhou, Huiyang 📂 Article 📅 2010 🏛 Association for Computing Machinery ⚖ 532 KB