Shivers' Control Flow Analysis.

Joachim Breitner

Published in: Arch. Formal Proofs (2010)

Keyphrases

flow analysis
control system
information flow
forensic analysis
control method
control strategy
optimal control
neural network
control algorithm