Semantics for Locking Specifications.
Michael D. ErnstDamiano MacedonioMassimo MerroFausto SpotoPublished in: CoRR (2015)
Keyphrases
- specification language
- operational semantics
- attribute grammars
- formal semantics
- high level
- logic programming
- control flow
- semantic representation
- formal language
- formal specification
- concurrency control
- data sets
- conceptual model
- semantic information
- semantic constraints
- reactive systems
- neural network
- conceptual graphs
- fine grained
- transformation rules
- model theoretic
- data structure
- fine granularity
- delay insensitive