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

Richard F. Paige; Eric C. R. Hehner

doi:10.1007/3-540-48119-2_30

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

Richard F. Paige, Eric C. R. Hehner

Computer Science

Research output: Contribution to conference › Paper › peer-review

Abstract

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 language	Undefined/Unknown
Pages	530-550
Number of pages	20
DOIs	https://doi.org/10.1007/3-540-48119-2_30
Publication status	Published - 1999

Access to Document

10.1007/3-540-48119-2_30

http://link.springer.de/link/service/series/0558/bibs/1708/17080530.htm

Cite this

@conference{c9f4bf7acec44fe59db807a0def2e798,

title = "Bunches for Object-Oriented, Concurrent, and Real-Time Specification",

abstract = "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. ",

author = "Paige, {Richard F.} and Hehner, {Eric C. R.}",

year = "1999",

doi = "10.1007/3-540-48119-2_30",

language = "Undefined/Unknown",

pages = "530--550",

}

TY - CONF

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

AU - Paige, Richard F.

AU - Hehner, Eric C. R.

PY - 1999

Y1 - 1999

N2 - 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.

AB - 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.

U2 - 10.1007/3-540-48119-2_30

DO - 10.1007/3-540-48119-2_30

M3 - Paper

SP - 530

EP - 550

ER -