Relating Nominal and Higher-order Abstract Syntax Specifications
Andrew GacekPublished in: CoRR (2010)
Keyphrases
- higher order
- high level
- state machines
- natural images
- attribute grammars
- operational semantics
- low order
- markov models
- pairwise
- high order
- low level
- natural language
- markov random field
- formal specification
- conditional random fields
- concurrent systems
- control flow
- context free grammars
- data sets
- higher level
- web services
- data mining