Formal Semantics of Java Expressions and Statements.
Alexandre V. ZamulinPublished in: Program. Comput. Softw. (2003)
Keyphrases
- formal semantics
- natural language
- object oriented
- facial expressions
- first order logic
- formal language
- programming language
- open source
- logical reasoning
- source code
- logical language
- modelling language
- modeling language
- er model
- theorem prover
- operational semantics
- speech acts
- database
- epistemic logic
- owl dl ontology
- ontology languages
- data types
- database applications
- high level