Denotational cost semantics for functional languages with inductive types.
Norman DannerDaniel R. LicataRamyaa RamyaaPublished in: CoRR (2015)
Keyphrases
- operational semantics
- expressive power
- highly expressive
- language constructs
- database languages
- formal semantics
- neural network
- machine learning
- semantic information
- total cost
- language independent
- functional language
- specification languages
- formal language
- target language
- database
- cost sensitive
- inductive logic programming
- relational databases
- databases