Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude.
Huibiao ZhuPeng LiuJifeng HeShengchao QinPublished in: UTP (2012)
Keyphrases
- operational semantics
- formal semantics
- denotational semantics
- model theoretic
- declarative semantics
- mental states
- speech acts
- cooperative
- activity diagrams
- agent communication language
- agent programming
- artificial intelligence
- intelligent agents
- description logics
- mobile robot
- data model
- relational databases
- database