Optimizing programs with intended semantics.
Daniel von DincklageAmer DiwanPublished in: OOPSLA (2009)
Keyphrases
- stable models
- dynamic logic
- stable model semantics
- declarative semantics
- logic programming
- programming language constructs
- logic programs
- deductive databases
- control flow
- formal semantics
- real time
- fixpoint semantics
- normal logic programs
- automatic programming
- computer programs
- conceptual model
- database
- programming environment
- fixpoint
- databases
- answer set programming
- data model
- high level
- case study
- knowledge base
- control program
- proof theory
- database languages
- probabilistic logic programs