Formal Semantics, Compilation and Execution of the GALS Programming Language DSystemJ.
Avinash MalikAlain GiraultZoran SalcicPublished in: IEEE Trans. Parallel Distributed Syst. (2012)
Keyphrases
- programming language
- formal semantics
- programs written
- er model
- object oriented
- general purpose
- software engineering
- high level
- operational semantics
- programming environment
- denotational semantics
- modelling language
- object oriented programming
- modeling language
- first order logic
- strongly typed
- logical language
- functional language
- owl dl ontology
- execution model
- programming tool
- source code
- query language
- knowledge base
- databases