Property-oriented semantics of structured specifications.
Donald SannellaAndrzej TarleckiPublished in: Math. Struct. Comput. Sci. (2014)
Keyphrases
- specification language
- operational semantics
- control flow
- attribute grammars
- formal language
- logic programming
- formal semantics
- semantic information
- high level
- case study
- real world
- structured data
- conceptual model
- graphical representation
- database
- functional requirements
- natural language
- transformation rules
- structured learning
- graph properties
- logical language
- data sets