Title :
A parallel implementation of equational programming
Author :
Dershowitz, Nachum ; Lindenstrauss, Naomi
Author_Institution :
Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
Abstract :
A parallel implementation of rewriting and narrowing is described. The implementation is written in Flat Concurrent Prolog (FCP) but may be coded in any system in which processes are capable of creating other processes and communicating with each other. The Towers of Hanoi problem, parallel merging, and evaluating algebraic expressions are treated as examples of rewriting. Running programs under the interpreter and using facilities provided by the FCP system has provided empirical evidence of parallel speedup in support of theoretical predictions
Keywords :
parallel programming; program interpreters; rewriting systems; Flat Concurrent Prolog; Towers of Hanoi problem; equational programming; evaluating algebraic expressions; interpreter; narrowing; parallel implementation; parallel merging; parallel speedup; rewriting; Computer science; Equations; Estimation theory; Logic; Parallel processing; Parallel programming; Time measurement; Writing;
Conference_Titel :
Information Technology, 1990. 'Next Decade in Information Technology', Proceedings of the 5th Jerusalem Conference on (Cat. No.90TH0326-9)
Conference_Location :
Jerusalem
Print_ISBN :
0-8186-2078-1
DOI :
10.1109/JCIT.1990.128313
