Overview of a Formal Semantics for the JADEL Programming Language.
Federico BergentiEleonora IottiStefania MonicaAgostino PoggiPublished in: WOA (2017)
Keyphrases
- programming language
- formal semantics
- object oriented
- general purpose
- strongly typed
- high level
- software engineering
- programming environment
- logic programming
- logical language
- modeling language
- er model
- first order logic
- modelling language
- operational semantics
- object oriented programming
- speech acts
- denotational semantics
- case study
- computer programs
- theorem proving
- theorem prover
- software systems
- user interface
- concurrent programming
- artificial intelligence