From algebraic semantics to denotational semantics for Verilog.

Huibiao Zhu Jifeng He Jonathan P. Bowen

Published in: Innov. Syst. Softw. Eng. (2008)

Keyphrases

denotational semantics
programming language
operational semantics
query language
abstract data types
database
data mining
high level
object oriented
data model
software engineering
index structure
data types
mental states
hardware designs