Multithreaded-Cartesian Abstract Interpretation of Multithreaded Recursive Programs Is Polynomial.

Alexander Malkis

Published in: RP (2015)

Keyphrases

abstract interpretation
recursive programs
program synthesis
transformation rules
termination analysis
knowledge base
logic programs
model checking
active rules
distributed systems