Domain-specific program profiling and its application to attribute grammars and term rewriting.

Anthony M. Sloane Matthew Roberts

Published in: Sci. Comput. Program. (2014)

Keyphrases

term rewriting
domain specific
attribute grammars
theorem proving
theorem prover
knuth bendix
operational semantics
general purpose
rewrite systems
context free grammars
relation extraction
database
context free
xml processing
formal semantics
predicate calculus
databases