Sciweavers

ICCL
1994
IEEE
14 years 2 months ago
Semantics for a Real-Time Object-Oriented Programming Language
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...
Ichiro Satoh, Mario Tokoro
ICCL
1994
IEEE
14 years 3 months ago
A Compositional Approach to Concurrent Object-Oriented Programming
This paper presents a model of concurrent objectoriented programming in which specification of computational behavior is separated from specification of interaction behavior of me...
Raju Pandey, James C. Browne
ICCL
1994
IEEE
14 years 3 months ago
Generating Optimizing Specializers
Robert Glück, Jesper Jørgensen