Relating nominal and higher-order abstract syntax specifications.
Andrew GacekPublished in: PPDP (2010)
Keyphrases
- higher order
- high level
- state machines
- high order
- operational semantics
- natural images
- attribute grammars
- lambda calculus
- higher level
- databases
- genetic algorithm
- low level
- natural language
- formal specification
- state machine
- predicate calculus
- low order
- real time
- hidden markov models
- concurrent systems
- machine learning
- control flow
- markov models
- artificial intelligence
- bayesian networks
- markov random field
- pairwise