How to prove type soundness of Java-like languages without forgoing big-step semantics.
Davide AnconaPublished in: FTfJP@ECOOP (2014)
Keyphrases
- database query languages
- type checking
- object oriented languages
- database systems
- highly expressive
- expressive power
- formal language
- post processing
- relational algebra
- programming language
- object oriented
- databases
- web applications
- formal semantics
- logic programs
- logic programming
- deductive databases
- cross lingual
- text summarization
- language identification
- java programs
- open source