The Parallel Evaluation of Functional Programs

Alberto Pettorossi and Andrzej Skowron
Additional contact information
Alberto Pettorossi: IASI-CNR
Andrzej Skowron: Warsaw University, Institute of Mathematics

A chapter in Mathematical Logic and Its Applications, 1987, pp 149-165 from Springer

Abstract: Abstract We address the correctness problem of parallel implementation of functional programs. Those functional programs are evaluated by a set of concurrent agents communicating with each other and cooperating together while the computations progress. New communications among agents are introduced to improve the performance, because properties or facts about functions to be computed are exploited. In particular we show that those communications may avoid redundant computations of intermediate results. We provide the logical theories for proving correctness of implementation of functional programs together with facts about those programs.

Keywords: Parallel Program; Transition Relation; Recursive Call; Propositional Variable; Recursive Equation (search for similar items in EconPapers)
Date: 1987
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-1-4613-0897-3_10

Ordering information: This item can be ordered from
http://www.springer.com/9781461308973

DOI: 10.1007/978-1-4613-0897-3_10

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().