69 search results - page 1 / 14 » Semantics for a Real-Time Object-Oriented Programming Langua... |
ICCL
1994
IEEE
13 years 8 months ago
1994
IEEE
This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...
WORDS
2003
IEEE
13 years 10 months ago
2003
IEEE
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...
TOOLS
2000
IEEE
13 years 9 months ago
2000
IEEE
DOOD
1997
Springer
13 years 9 months ago
1997
Springer
Abstract. We present a well-founded semantics for deductive objectoriented database (dood) languages by applying the alternating- xpoint characterization of the well-founded model ...
TAPSOFT
1991
Springer
13 years 8 months ago
1991
Springer
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...