Loading...
Please wait, while we are loading the content...
Similar Documents
Deriving Imperative Code from Functional Programs (1995)
| Content Provider | CiteSeerX |
|---|---|
| Author | Rajopadhye, Sanjay Wilde, Doran Quinton, Patrice |
| Description | In 7th Conference on Functional Programming Languages and Computer Architecture |
| Abstract | Alpha is a data parallel functional language which has the capability of specifying algorithms at a very high level. Our ultimate objective is to generate efficient parallel imperative code from an Alpha program. In this paper, we discuss the related problem of generating efficient single processor imperative code. Analysis techniques that were developed for the synthesis of systolic arrays are extended and adapted for the compilation of functional programming languages. We also demonstrate how a transformational methodology can be used as a compilation engine to transform an Alpha program to a sequential form. C--code is then generated using a straightforward pretty printer from the sequential form Alpha program. The C--code may then be compiled to efficiently execute the program. 1 Introduction Because of the elegance and power of functional languages, one would expect them to be naturally suited for numeric and scientific computing. However, this potential has not yet been well exp... |
| File Format | |
| Publisher Date | 1995-01-01 |
| Access Restriction | Open |
| Subject Keyword | Efficient Parallel Imperative Code Compilation Engine Data Parallel Functional Language Systolic Array Alpha Program Sequential Form Sequential Form Alpha Program Efficient Single Processor Imperative Code Transformational Methodology Imperative Code Ultimate Objective |
| Content Type | Text |
| Resource Type | Conference Proceedings |
