PROOF: A parallel object-oriented functional computation model

Yau, Stephen S.; Jia, Xiaoping; Bae, Doo‐Hwan

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

Cited by 18 publications

(9 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Yau et al [1] present a language called PROOF. This language, that allows assignment, is not pure functional, and lacks referential transparency.…”

Section: Related Workmentioning

confidence: 99%

Combining the Functional and Oject-Oriented Paradigms in the FOBS-X Scripting Language

Lamadrid¹

2013

IJPLA

View full text Add to dashboard Cite

A language FOBS-X (Extensible FOBS) is described. This language is an interpreted language, intended as a universal scripting language. An interesting feature of the language is its ability to be extended, allowing it to be adapted to new scripting environments. The interpretation process is structured as a core-language parser back-end, and a macro processor frontend. The macro processor allows the language syntax to be modified. A configurable library is used to help modify the semantics of the language, adding the required capabilities for interacting in a new scripting environment. This paper focuses on the macro capability of the language. A macro extension to the language has been developed, called the standard extension, that gives FOBS-X a friendlier syntax. It also serves as a convenient tool for demonstrating the macro expansion process.

show abstract

“…Yau et al [1] present a language called PROOF. This language, that allows assignment, is not pure functional, and lacks referential transparency.…”

Section: Related Workmentioning

confidence: 99%

Combining the Functional and Oject-Oriented Paradigms in the FOBS-X Scripting Language

Lamadrid¹

2013

IJPLA

View full text Add to dashboard Cite

show abstract

“…2 ) For the interface of the class manager, the inputs for the method request-by-consumer are request and manager; and its output is manager; the inputs for the method deliver-to-manager are item and manager; and its output is manager. Fig.…”

Section: An Examplementioning

confidence: 99%

“…The computation model PROOF [2] was intended for software development for parallel processing system [3], and it incorporates the functional paradigm into the object-oriented paradigm. However, since the object-oriented paradigm reflects the distributed structure of the problem space and is suitable for representifig inherently concurrent behavior, and since the functional paradigm allows us to explore parallelism on the parallel processing system in the distributed sites, PROOF is also suitable to support the software development for large scale distributed parallel computing systems with the benefits of both the object-oriented and functional paradigms.…”

Section: Our Approachmentioning

confidence: 99%

See 1 more Smart Citation

A framework for software development for distributed parallel computing systems

Yau

Bae

Chidambaram

Proceedings of the Third Workshop on Future Trends of Distributed Computing Systems

View full text Add to dashboard Cite

In this paper, a framework for software development for distributed parallel computing systems based on the parallel object-oriented functional computational model PROOF i s presented. O u r approach will enable programming t o be independent of the configuration of the computing system on which the program will be executed. In our approach, the programmer does not need t o be bothered by the parallelism in the application or the architectural details. These considerations can be handled at the translation and the allocation stages. O u r approach retains the benefits of both the object-oriented as well the functional paradigms.

show abstract

“…The role of a body is to invoke a method and modify the state of the objects represented by their local data. The modification of objects is expressed using the special construct 7Z as 'R[lOl]e in which 0 is the object called the recipient object that receives a new state obtained as the result of evaluating e [12]. The modification of the objects is allowed only at the bodies of the objects.…”

Section: Inmentioning

confidence: 99%

An object-oriented approach to software design for distributed real-time computing systems

Yau

Bae

et al.

1993 4th Workshop on Future Trends of Distributed Computing Systems

View full text Add to dashboard Cite

In distributed real-time computing systems for complicated applications like command, control, communications and intelligence, time constraints are severe and adaptability is required to provide high availability and survivability of computing resources. In this paper, an object-oriented approach to software design for distributed real-time systems is presented. In order to support adaptability of the software system to a dynamically changing environment , our approach supports multi-versions of a method definition. Our design approach is illustrated with a hypothetical airbase defense simulation system.

show abstract

PROOF: A parallel object-oriented functional computation model

Cited by 18 publications

References 18 publications

Combining the Functional and Oject-Oriented Paradigms in the FOBS-X Scripting Language

Combining the Functional and Oject-Oriented Paradigms in the FOBS-X Scripting Language

A framework for software development for distributed parallel computing systems

An object-oriented approach to software design for distributed real-time computing systems

Contact Info

Product

Resources

About