Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications.
Min ZhangKazuhiro OgataPublished in: QSIC (2009)
Keyphrases
- specification language
- high level
- attribute grammars
- concurrent systems
- theoretical framework
- formal specification
- operational semantics
- artificial intelligence
- formal descriptions
- delay insensitive
- written in natural language
- database
- modular neural networks
- formal theory
- control flow
- implementation details
- efficient implementation
- computational model
- distributed systems
- case study
- decision making