V-cal: A Calculus for the Compilation of Data Parallel Languages

  title={V-cal: A Calculus for the Compilation of Data Parallel Languages},
  author={P. F. G. Dechering and J. A. Trescher and J. P. M. de Vreught and Henk J. Sips},
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite rules. In V-cal the program transformation and optimization phase of a compiler is organized in three independent passes: in the rst pass a set of rewrite rules are applied that attempt to identify the potential parallelism of an algorithm. In the second pass program parts amenable to parallelization or algorithm… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 16 references

Chapman Supercompilers for Parallel and Vector Computers

  • B H. Zima
  • ACM Press,
  • 1990
Highly Influential
4 Excerpts


  • E. Paalvast
  • Sips A High-level Language for the Description of…
  • 1989
Highly Influential
3 Excerpts

The Booster Language

  • L. C. Breebaart, P.F.G. Dechering, A. B. Poelman, J. A. Trescher, J.P.M. de Vreught, H. J. Sips
  • A Working Paper 1.0, Computational Physics report…
  • 1995

The Denotational Semantics of Booster

  • P.F.G. Dechering
  • Computational Physics report series CP{95{05…
  • 1995
2 Excerpts

De ning

  • J. Li, M. Wolfe
  • Analyzing and Transforming Program Constructs…
  • 1994

in K

  • J. A. Trescher, P.F.G. Dechering, A. B. Poelman, J.P.M. de Vreught, H. J. Sips, A Formal Approach to the Compilation of Data Paralle Languages
  • Pingali, U. Banerjee, D. Gelernter, A. Nicolau…
  • 1994
1 Excerpt

Formal Method in Scheduling

  • L.M.R. Mullin, D. R. Dooling, E. A. Sandberg, S. A. Thibault
  • Routing, and Communication Protocol, Fourth…
  • 1993
2 Excerpts

Language Speci cation

  • High Performance Fortran Forum, High Performance Fortran
  • Version 1.0, Rice University, Houston, Texas,
  • 1993
1 Excerpt

Report No

  • P. Hil inger P. Colella Fidil Reference Manual
  • UCB/CSG 93-759,
  • 1993
3 Excerpts

Similar Papers

Loading similar papers…