Rewriting Approximations for Fast Prototyping of Static Analyzers.

Yohan Boichut Thomas Genet Thomas P. Jensen Luka Le Roux

Published in: RTA (2007)

Keyphrases

rewrite rules
rapid prototyping
approximation methods
dynamic analysis
code generation
rewriting rules
neural network
social networks
knowledge base
decision trees
conjunctive queries