Bridging the Syntax-Semantics Gap of Programming.
Theo B. WeidmannSverrir ThorgeirssonZhendong SuPublished in: Onward! (2022)
Keyphrases
- programming language
- operational semantics
- definition language
- rule language
- predicate calculus
- formal semantics
- database
- machine processable
- domain specific languages
- logic programming
- program code
- databases
- lexical semantics
- programming environment
- computer programming
- conceptual model
- semantic information
- model theoretic
- programming concepts
- context free grammars
- object oriented programming
- first order logic
- attribute grammars
- database systems
- information systems
- programming language constructs