Higher-order Rewriting for Executable Compiler Specifications
Kristoffer H. RosePublished in: HOR (2010)
Keyphrases
- higher order
- formal specification
- attribute grammars
- code generation
- control flow
- high order
- markov random field
- natural images
- pairwise
- low order
- programming language
- delay insensitive
- conjunctive queries
- specification language
- rewriting rules
- general purpose
- lower order
- concurrent systems
- reactive systems
- distributed memory machines
- highly optimized
- rewriting systems
- rewrite rules
- model checking
- conditional random fields
- high level
- context free
- data flow
- software systems
- queries using views
- presburger arithmetic
- database