Denotational Semantics of a Synchronous VHDL Subset.

Dominique Borrione Ashraf M. Salem

Published in: Formal Methods Syst. Des. (1995)

Keyphrases

denotational semantics
programming language
operational semantics
hardware implementation
query language
high level
database
multi agent systems
databases
artificial intelligence
general purpose
data storage
formal semantics