Proof-theoretic notions for software maintenance.
Reinhard KahlePublished in: Electron. Notes Theor. Comput. Sci. (2000)
Keyphrases
- software maintenance
- proof theoretic
- model theoretic
- deductive databases
- default reasoning
- description logics
- nonmonotonic reasoning
- operational semantics
- reverse engineering
- software engineering
- linear logic
- proof theory
- source code
- logic programs
- software systems
- constraint logic programming
- decision procedures
- fixpoint
- reasoning problems
- maintenance activities
- probabilistic reasoning
- software projects
- computational properties
- software development
- multi agent systems
- artificial intelligence
- partial order
- query evaluation
- logic programming
- database