PROOF: A parallel object-oriented functional computation model

Stephen S. Yau; Xiaoping Jia; Doo Hwan Bae

doi:10.1016/0743-7315(91)90125-S

PROOF: A parallel object-oriented functional computation model

Stephen S. Yau, Xiaoping Jia, Doo Hwan Bae

Research output: Contribution to journal › Article › peer-review

11 Scopus citations

Abstract

Despite the rapid development of parallel computer architectures in recent years, software development technology for parallel processing systems is still largely inadequate. An integrated object-oriented and functional computation model, called PROOF, is developed to facilitate the effective development of software for parallel processing systems. It will fully explore the parallelism in software systems and reduce the development effort by supporting software engineering principles, such as information hiding, modularity, modifiability, and reusability. In PROOF, we achieve the coherent integration of (1) parallelism and inheritance of objects and (2) referential transparency and history sensitivity of functions. The major features and the semantics of PROOF are presented. A parallel programming language and a software development approach based on PROOF are under development. Implementation issues are also discussed.

Original language	English (US)
Pages (from-to)	202-212
Number of pages	11
Journal	Journal of Parallel and Distributed Computing
Volume	12
Issue number	3
DOIs	https://doi.org/10.1016/0743-7315(91)90125-S
State	Published - Jul 1991
Externally published	Yes

ASJC Scopus subject areas

Software
Theoretical Computer Science
Hardware and Architecture
Computer Networks and Communications
Artificial Intelligence

Access to Document

10.1016/0743-7315(91)90125-S

Cite this

@article{f22fec5a49de427480aebf486d95e338,

title = "PROOF: A parallel object-oriented functional computation model",

abstract = "Despite the rapid development of parallel computer architectures in recent years, software development technology for parallel processing systems is still largely inadequate. An integrated object-oriented and functional computation model, called PROOF, is developed to facilitate the effective development of software for parallel processing systems. It will fully explore the parallelism in software systems and reduce the development effort by supporting software engineering principles, such as information hiding, modularity, modifiability, and reusability. In PROOF, we achieve the coherent integration of (1) parallelism and inheritance of objects and (2) referential transparency and history sensitivity of functions. The major features and the semantics of PROOF are presented. A parallel programming language and a software development approach based on PROOF are under development. Implementation issues are also discussed.",

author = "Yau, {Stephen S.} and Xiaoping Jia and Bae, {Doo Hwan}",

year = "1991",

month = jul,

doi = "10.1016/0743-7315(91)90125-S",

language = "English (US)",

volume = "12",

pages = "202--212",

journal = "Journal of Parallel and Distributed Computing",

issn = "0743-7315",

publisher = "Academic Press Inc.",

number = "3",

}

TY - JOUR

T1 - PROOF

T2 - A parallel object-oriented functional computation model

AU - Yau, Stephen S.

AU - Jia, Xiaoping

AU - Bae, Doo Hwan

PY - 1991/7

Y1 - 1991/7

N2 - Despite the rapid development of parallel computer architectures in recent years, software development technology for parallel processing systems is still largely inadequate. An integrated object-oriented and functional computation model, called PROOF, is developed to facilitate the effective development of software for parallel processing systems. It will fully explore the parallelism in software systems and reduce the development effort by supporting software engineering principles, such as information hiding, modularity, modifiability, and reusability. In PROOF, we achieve the coherent integration of (1) parallelism and inheritance of objects and (2) referential transparency and history sensitivity of functions. The major features and the semantics of PROOF are presented. A parallel programming language and a software development approach based on PROOF are under development. Implementation issues are also discussed.

AB - Despite the rapid development of parallel computer architectures in recent years, software development technology for parallel processing systems is still largely inadequate. An integrated object-oriented and functional computation model, called PROOF, is developed to facilitate the effective development of software for parallel processing systems. It will fully explore the parallelism in software systems and reduce the development effort by supporting software engineering principles, such as information hiding, modularity, modifiability, and reusability. In PROOF, we achieve the coherent integration of (1) parallelism and inheritance of objects and (2) referential transparency and history sensitivity of functions. The major features and the semantics of PROOF are presented. A parallel programming language and a software development approach based on PROOF are under development. Implementation issues are also discussed.

UR - http://www.scopus.com/inward/record.url?scp=0026189925&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0026189925&partnerID=8YFLogxK

U2 - 10.1016/0743-7315(91)90125-S

DO - 10.1016/0743-7315(91)90125-S

M3 - Article

AN - SCOPUS:0026189925

SN - 0743-7315

VL - 12

SP - 202

EP - 212

JO - Journal of Parallel and Distributed Computing

JF - Journal of Parallel and Distributed Computing

IS - 3

ER -

PROOF: A parallel object-oriented functional computation model

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this