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

Research output: Contribution to conferencePaper



Publication details

DatePublished - 1999
Number of pages20
Original languageUndefined/Unknown


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.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations