An abstract interpretation for SPMD divergence on reducible control flow graphs.

Julian Rosemann Simon Moll Sebastian Hack

Published in: Proc. ACM Program. Lang. (2021)

Keyphrases

flow graphs
abstract interpretation
termination analysis
control system
flow graph
active rules
static analysis
fine grained
decision table
artificial intelligence
social networks
knowledge discovery
software engineering