Control Flow Analysis for SF Combinator Calculus.

Published in: VPT@ETAPS (2015)

Keyphrases

flow analysis
information flow
control system
data sets
artificial intelligence
control strategy
control theory
decision making
database systems
mathematical model
data acquisition
smart card
process control