Correct Flow Analysis in Continuation Semantics.
Margaret MontenyohlMitchell WandPublished in: POPL (1988)
Keyphrases
- flow analysis
- information flow
- formal semantics
- forensic analysis
- semantic information
- logic programming
- databases
- default reasoning
- knowledge representation
- knowledge management
- supply chain
- domain knowledge
- conceptual graphs
- keywords
- social networks
- operational semantics
- model theoretic
- neural network
- database
- logical language