A formal account of SSA in Java-like languages.
Davide AnconaAndrea CorradiPublished in: FTfJP@ECOOP (2016)
Keyphrases
- object oriented languages
- programming language
- formal language
- expressive power
- object oriented
- open source
- formal model
- specification languages
- java bytecode
- knowledge representation languages
- formal languages
- language independent
- formal specification
- database applications
- databases
- lightweight
- mathematical theory
- source code
- high level
- case study
- neural network
- byte code
- database