A Unified Treatment of Flow Analysis in Higher-Order Languages.
Suresh JagannathanStephen WeeksPublished in: POPL (1995)
Keyphrases
- flow analysis
- higher order
- information flow
- language independent
- high order
- pairwise
- expressive power
- natural images
- forensic analysis
- grammatical inference
- text summarization
- low order
- markov random field
- conditional random fields
- first order logic
- cross lingual
- distributed systems
- query translation
- target language
- unified model
- lower order
- decision making