Equational code generation: implementing categorical data types for data parallelism

Author

Skillcorn, D.B. ; Cai, Wentong

Author_Institution

Dept. of Comput. & Inf. Sci., Queen´´s Univ., Kingston, Ont., Canada

fYear

1994

fDate

22-26 Aug 1994

Firstpage

187

Abstract

The Bird-Meertens formalism is a second-order functional style of data parallel programming in which a fixed set of second order functions for each type is generated by a categorical construction. The mathematical structure underlying such categorical data types is important for software development by transformation. We show that it can also be used at compile time to allow code generation in an equational way

Keywords

automatic programming; optimisation; parallel architectures; parallel programming; program compilers; programming theory; Bird-Meertens formalism; categorical construction; categorical data types; code generation; compile time; data parallel programming; data parallelism; equational code generation; mathematical structure; optimisation; parallel architectures; second order functions; second-order functional style; software development by transformation; Algebra; Computer languages; Concurrent computing; Equations; Grain size; Information science; Parallel architectures; Parallel languages; Parallel processing; Parallel programming;

fLanguage

English

Publisher

ieee

Conference_Titel

TENCON '94. IEEE Region 10's Ninth Annual International Conference. Theme: Frontiers of Computer Technology. Proceedings of 1994

Print_ISBN

0-7803-1862-5

Type

conf

DOI

10.1109/TENCON.1994.369311

Filename

369311