779 search results - page 4 / 156 » A programming model for concurrent object-oriented programs |
PDP
1996
IEEE
14 years 21 days ago
1996
IEEE
PODC
1994
ACM
14 years 19 days ago
1994
ACM
ICCL
1994
IEEE
14 years 2 days 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...
DEXA
1997
Springer
14 years 3 days ago
1997
Springer
Nowadays, if we want to obtain a sound and correct final software product it is very important to be able to properly join modern OO programming environments, which are built for ...
PDP
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper presents a programming language for parallel computing based on code annotations. It has similar goals and philosophy as OpenMP but it is more tightly coupled to the ob...