Parallel execution of equational programs

Author

Sekar, R.C. ; Pawagi, Shaunak ; Ramakrishnan, I.V.

Author_Institution

Dept. of Comput. Sci., State Univ. of New York, Stony Brook, NY, USA

fYear

1989

fDate

22-24 Nov 1989

Firstpage

885

Lastpage

892

Abstract

Equational programming is a style of declarative programming with very simple semantics, based on logical consequences, which coincides with the traditional semantics of mathematical expressions. Sequential evaluation strategies for such programs are well known. However, not much seems to be known about evaluating equational programs on parallel computers. An overview is presented of a research project initiated for developing compilation and execution techniques for parallel evaluation of equational programs. Topics discussed include the following: the case for lazy evaluation; path sequential systems and parallel evaluation; parallelism in equational programs; automatic extraction of parallelism; and load balancing and load estimation

Keywords

parallel machines; parallel programming; performance evaluation; rewriting systems; compilation; declarative programming; equational programs; execution techniques; lazy evaluation; load balancing; load estimation; logical consequences; mathematical expressions; parallel computers; parallel evaluation; path sequential systems; research project; traditional semantics; very simple semantics; Computer science; Concurrent computing; Data mining; Equations; Functional programming; Information analysis; Logic programming; Mathematical programming; Parallel processing; Parallel programming;

fLanguage

English

Publisher

ieee

Conference_Titel

TENCON '89. Fourth IEEE Region 10 International Conference

Conference_Location

Bombay

Type

conf

DOI

10.1109/TENCON.1989.177074

Filename

177074