A high-level modular definition of the semantics of C#.
Egon BörgerNicu G. FrujaVincenzo GervasiRobert F. StärkPublished in: Theor. Comput. Sci. (2005)
Keyphrases
- contextual information
- high level
- semantic information
- conceptual model
- high level semantics
- low level
- derivation rules
- model theoretic
- formal semantics
- operational semantics
- low level features
- definition language
- multiple inheritance
- modular structure
- specification language
- programming language
- logic programming
- deductive databases
- graphical representation
- default reasoning
- source code
- knowledge representation
- domain knowledge