Semantics for a Real-Time Object-Oriented Programming Language.

Ichiro Satoh Mario Tokoro

Published in: ICCL (1994)

Keyphrases

real time
object oriented programming language
real time systems
low cost
object oriented
semantic information
formal semantics
e learning
control system
vision system
logic programming
model checking
model theoretic
argumentation semantics