PROOF: A parallel object-oriented functional computation model

Sik-Sang Yau, Xiaoping Jia, Doo Hwan Bae

Research output: Contribution to journalArticle

11 Citations (Scopus)

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 languageEnglish (US)
Pages (from-to)202-212
Number of pages11
JournalJournal of Parallel and Distributed Computing
Volume12
Issue number3
DOIs
StatePublished - 1991
Externally publishedYes

Fingerprint

Object-oriented
Software engineering
Parallel processing systems
Parallel Processing
Software Development
Parallelism
Parallel programming
Computer architecture
Reusability
Information Hiding
Computer programming languages
Transparency
Computer Architecture
Parallel Architectures
Parallel Programming
Parallel Computers
Modularity
Semantics
Software Engineering
Model

ASJC Scopus subject areas

  • Computer Science Applications
  • Hardware and Architecture
  • Control and Systems Engineering

Cite this

PROOF : A parallel object-oriented functional computation model. / Yau, Sik-Sang; Jia, Xiaoping; Bae, Doo Hwan.

In: Journal of Parallel and Distributed Computing, Vol. 12, No. 3, 1991, p. 202-212.

Research output: Contribution to journalArticle

@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 = "Sik-Sang Yau and Xiaoping Jia and Bae, {Doo Hwan}",
year = "1991",
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, Sik-Sang

AU - Jia, Xiaoping

AU - Bae, Doo Hwan

PY - 1991

Y1 - 1991

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

VL - 12

SP - 202

EP - 212

JO - Journal of Parallel and Distributed Computing

JF - Journal of Parallel and Distributed Computing

SN - 0743-7315

IS - 3

ER -