Paper: An FP-based tool for the synthesis of regular array algorithms

Authors:
Yen-Chun Lin
Affiliations:
-
Venue:
Parallel Computing
Year:
1991

Citing 10
Cited 0

Structuring FP-style functional programs

Computer Languages
From function level semantics to program transformation and optimization

Proc. of the international joint conference on theory and practice of software development (TAPSOFT) Berlin, March 25-29, 1985 on Mathematical foundations of software development, Vol. 1: Colloquium on trees in algebra and programming (CAAP'85)
VLSI array processors

VLSI array processors
The derivation of systolic implementations

Acta Informatica
Systematic design approaches for algorithmically specified systolic arrays

Computer architecture
Completeness of rewrite rules and rewrite strategies for FP

Journal of the ACM (JACM)
A CHDL-based CAD system for the synthesis of systolic architectures

Systolic array processors
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

Communications of the ACM
Area-Efficient VLSI Computation

Area-Efficient VLSI Computation
ADVIS: A Software Package for the Design of Systolic Arrays

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Regular array algorithms achieve high performance by using identical processing elements and are suitable for VLSI implementation. FP is a functional language that supports parallel thinking naturally. We have implemented a tool to automatically synthesize regular array algorithms from programs written in a dialect of FP called aFP. The tool avoids human errors and ensures that all the derivable algorithms from a single aFP program can be obtained. It also generates tables for another tool to produce parallel Occam programs running on a transputer multiprocessing system.