The Formal Execution Semantics of SpecC.
Rainer DömerAndreas GerstlauerWolfgang MüllerPublished in: ISSS (2002)
Keyphrases
- formal language
- model theoretic
- operational semantics
- machine processable
- formal semantics
- control flow
- active rules
- specification languages
- execution model
- formal specification
- highly expressive
- formal descriptions
- logic programming
- dynamic aspects
- conceptual graphs
- semantic information
- mathematical theory
- argumentation semantics
- speech acts
- method invocation
- database
- specification language
- active databases
- default reasoning
- formal model
- description logics