System Semantics: Principles, Applications, and Implementation.

Raymond T. Boute

Published in: ACM Trans. Program. Lang. Syst. (1988)

Keyphrases

formal semantics
logic programming
implementation issues
real time
artificial intelligence
case study
specification language
databases
website
database systems
efficient implementation
default reasoning
implementation details