396 search results - page 1 / 80 » Comparative Semantics for a Real-Time Programming Language w... |
94
Voted
TAPSOFT
1991
Springer
15 years 4 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...
111
Voted
ICCL
1994
IEEE
15 years 4 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...
98
Voted
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
Embedded systems are often operating under hard real-time constraints. Such systems are naturally described as time-bound reactions to external events, a point of view made manife...
102
Voted
ISPDC
2006
IEEE
15 years 7 months ago
2006
IEEE
We present an incipient implementation of a programming language that allows programming of realtime applications distributed over a network. We have several goals in mind: First,...
125
Voted
ICALP
1998
Springer
15 years 5 months ago
1998
Springer
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...