Thk paper describes how program transformation using a rnetalanguage can be an effective methodology for develop- im~gcorrect and efficient parallel.

Dec 9, 2007 · Crystal is a functional language in which programs resemble concise, formal math- ematical definitions, without explicit communication commands.

The authors describe the metalinguistic features, illustrate how Crystal programs are conveniently manipulated with these meta constructs, and present a formal ...

Abstract. An approach, called SAT (Stages And Transformations), is introduced to support the derivation of parallel distributed-memory programs.

The fact that Crystal is a general purpose language for parallel programming allows new design methods and synthesis techniques, properties and theorems about ...

and existing programs can be transformed by parallelizing compilers for execution on the new. *Department of Computer Science, Yale University, New Haven, CT ...

This paper describes how Crystal-a language based on familiar mathematical notation and the lambda calculus-addresses the issues of programmability.

The transformational derivation of parallel programs for distributed-memory architectures using skeleton-based approaches is one of the most promising ...

In this paper, a design methodology for synthesizing efficient parallel algorithms and VLSI architectures is presented. A design process starts with a ...

Apr 6, 2011 · This paper concerns the ability of CRYSTAL to exploit massively parallel computer hardware. A brief review of the theory, numerical ...