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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Paige, Richard F., Hehner, Eric C. R.
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Applied sciences Child Class Class Interface Computer science control theory systems Computer systems and distributed systems. User interface Dine Philosopher Exact sciences and technology Inheritance Relation Multiple Inheritance Software
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	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.
ISSN:	0302-9743 1611-3349
DOI:	10.1007/3-540-48119-2_30