Semantic Parallelization: A Practical Exercise in Abstract Interpretation.

Pierre Jouvelot

Published in: POPL (1987)

Keyphrases

abstract interpretation
termination analysis
high level
static analysis
active rules
database
databases
dynamic analysis