PROOF: A parallel object-oriented functional computation model

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

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

Publication date: 26 June 1992

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

zbMATH Keywords

object-oriented programming; functional programming language; parallel programming language

Mathematics Subject Classification ID

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

68N15: Theory of programming languages

68N01: General topics in the theory of software

Related Items

PROOF

Uses Software

• Miranda