A Logical Framework for Software Proof Reuse.
Joshua E. CaplanMehdi T. HarandiPublished in: SSR (1995)
Keyphrases
- logical framework
- linear logic
- inference rules
- higher order logic
- software reuse
- belief revision
- reasoning tasks
- software systems
- software evolution
- software development
- theorem prover
- theorem proving
- knowledge base
- epistemic logic
- source code
- probabilistic model
- multi agent systems
- artificial intelligence
- code snippets