C++ hard-real-time active library: syntax, semantics, and compilation of Tice programs.
Tadeus PrastowoLuigi PalopoliLuca AbeniPublished in: SIGBED Rev. (2019)
Keyphrases
- operational semantics
- definition language
- stable model semantics
- rule language
- language constructs
- formal semantics
- logic programming
- declarative semantics
- logic programs
- dynamic logic
- normal logic programs
- eca rules
- predicate calculus
- fixpoint semantics
- lexical semantics
- program code
- natural language
- control flow
- semantic information
- attribute grammars
- database languages
- machine processable
- model theoretic
- semantic representation
- agent programming
- fixpoint
- active databases
- deductive databases
- databases