Backwards-directed information flow analysis for concurrent programs.

Kirsten Winter Nicholas Coughlin Graeme Smith

Published in: CSF (2021)

Keyphrases

flow analysis
information flow
artificial intelligence
real time
databases
end users
knowledge based systems