Incorporating Application Semantics and Control into Compilation.

Dawson R. Engler

Published in: DSL (1997)

Keyphrases

database
control system
decision support
semantic information
formal semantics
real time
data sets
description logics
control method