PROOF: A parallel object-oriented functional computation model

DOI10.1016/0743-7315(91)90125-SzbMath0737.68011OpenAlexW1987502384MaRDI QIDQ1177281

Xiaoping Jia, Doo-Hwan Bae, Stephen S. Yau

Publication date: 26 June 1992

Published in: Journal of Parallel and Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0743-7315(91)90125-s

zbMATH Keywords

object-oriented programmingfunctional programming languageparallel programming language

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of programming languages (68N15) General topics in the theory of software (68N01)

Related Items (2)

Core FOBS: A hybrid functional and object-oriented language ⋮ PROOF

Uses Software

• Miranda

This page was built for publication: PROOF: A parallel object-oriented functional computation model