Formal Semantics for Java-like Languages and Research Opportunities.
Samuel da Silva FeitosaRodrigo Geraldo RibeiroAndré Rauber Du BoisPublished in: RITA (2018)
Keyphrases
- formal semantics
- er model
- formal language
- object oriented languages
- open source
- expressive power
- first order logic
- operational semantics
- object oriented
- modeling language
- source code
- logical language
- entity relationship
- logical reasoning
- theorem prover
- modelling language
- java bytecode
- programming language
- knowledge base
- owl dl ontology
- ontology languages
- case study