We show how a collection of object-oriented concepts can be directly expressed in predicative programming 6.. We demonstrate how these feature scan 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.
CITATION STYLE
Paige, R. F., & Hehner, E. C. R. (1999). Bunches for object-oriented, concurrent, and real-time specification. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1708, pp. 530–550). Springer Verlag. https://doi.org/10.1007/3-540-48119-2_30
Mendeley helps you to discover research relevant for your work.