A polymodal semantics for VHDL.

Subash Shankar James R. Slagle

Published in: CHARME (1997)

Keyphrases

logic programming
formal semantics
hardware implementation
logic programs
semantic information
semantic representation
rough approximations
data sets
information retrieval
image processing
expert systems
operational semantics