Title :
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
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;
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
DOI :
10.1109/TENCON.1994.369311
