Compilation Semantics for a Programming Language with Versions.
Yudai TanabeLuthfan Anshar LubisTomoyuki AotaniHidehiko MasuharaPublished in: CoRR (2023)
Keyphrases
- programming language
- denotational semantics
- logic programming
- specification language
- programming language constructs
- database languages
- general purpose
- high level
- domain specific languages
- object oriented
- fluent calculus
- software engineering
- semantic data models
- object oriented programming
- programming environment
- strongly typed
- functional programming
- computer programs
- program code
- programs written
- databases
- operational semantics
- logic programming language
- formal semantics
- programming tool
- deductive databases
- complex objects
- integrity constraints
- artificial intelligence