Title :
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
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;
Conference_Titel :
TENCON '89. Fourth IEEE Region 10 International Conference
Conference_Location :
Bombay
DOI :
10.1109/TENCON.1989.177074
