Bunches for Object-Oriented, Concurrent, and Real-Time Specification

Richard F. Paige, Eric C. R. Hehner

Research output: Contribution to conferencePaperpeer-review


We show how a collection of object-oriented concepts can be directly expressed in predicative programming [6]. We demonstrate how these features can be used in cooperation with the existing real-time and concurrency features of predicative programming in several examples, thus providing a simple integration of object-orientation, real-time, and concurrency.
Original languageUndefined/Unknown
Number of pages20
Publication statusPublished - 1999

Cite this