Benefits of type inference for an object-oriented real-time language.
Jan GustafssonKjell PostJukka Mäki-TurjaEllus BrorssonPublished in: OOPS Messenger (1996)
Keyphrases
- real time
- strongly typed
- type checking
- object oriented
- programming language
- control system
- database programming language
- high speed
- operational semantics
- inference process
- language processing
- object oriented programming
- computational linguistics
- real time systems
- inference engine
- specification language
- bayesian inference
- vision system
- natural language
- image sequences
- computer vision
- neural network