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


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 refinement, real-time, and concurrency features of predicative programming in several examples, thus providing a simple integration of object-orientation, real-time, and concurrency

Similar works

This paper was published in CiteSeerX.

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.