Complexity of Flow Analysis, Inductive Assertion Synthesis and a Language Due to Dijkstra
Neil D. JonesSteven S. MuchnickPublished in: FOCS (1980)
Keyphrases
- flow analysis
- functional programs
- information flow
- functional language
- computational complexity
- programming language
- machine learning
- forensic analysis
- space complexity
- language learning
- target language
- database
- data warehousing
- computer systems
- logic programs
- data management
- rule learning
- supply chain
- data model
- learning algorithm