A multi-processing implementation-oriented formal definition of Ada in SEMANOL.

Frank C. Belz Edward K. Blum Dennis Heimbigner

Published in: SIGPLAN (1980)

Keyphrases

real time
case study
three dimensional
data processing
implementation issues
machine learning
decision trees
bayesian networks
software development
information processing