A semantics for tracing declarative multi-paradigm programs.
Bernd BrasselMichael HanusFrank HuchGermán VidalPublished in: PPDP (2004)
Keyphrases
- declarative programming
- logic programming
- declarative semantics
- logic programs
- stable model semantics
- answer set programming
- deductive databases
- fixpoint semantics
- formal semantics
- operational semantics
- semantic information
- stable models
- control flow
- dynamic logic
- database languages
- attribute grammars
- knowledge representation
- model theoretic
- normal logic programs
- computer programs
- declarative language
- domain independent
- programming language constructs