Correctness of Static Flow Analysis in Continuation Semantics.

Margaret Montenyohl Mitchell Wand

Published in: Sci. Comput. Program. (1991)

Keyphrases

flow analysis
information flow
forensic analysis
correctness criterion
social networks
semantic information
formal semantics
logic programming
data sets
metadata
natural language
knowledge discovery