Static Analysis of Term Graph Rewriting Systems.

Published in: PARLE (2) (1991)

Keyphrases

rewriting systems
static analysis
dynamic analysis
rewriting rules
source code
regular expressions
java card
symbolic execution
open source
database systems
pattern matching
abstract interpretation
knowledge base
case study
graph model