A Programmer Friendly Modular Definition of the Semantics of Java.
Egon BörgerWolfram SchultePublished in: Formal Syntax and Semantics of Java (1999)
Keyphrases
- programming language
- specification language
- object oriented
- logic programming
- multiple inheritance
- derivation rules
- conceptual model
- operational semantics
- definition language
- formal semantics
- open source
- model theoretic
- database applications
- friendly interface
- modular structure
- java programs
- software engineering
- web applications
- update operators
- modular neural networks
- general purpose
- cross platform
- general theory
- object oriented programming
- semantic information
- source code