A proof outline logic for object-oriented programming.
Cees PierikFrank S. de BoerPublished in: Theor. Comput. Sci. (2005)
Keyphrases
- object oriented programming
- proof theory
- object oriented
- natural deduction
- programming language
- linear logic
- proof search
- programming concepts
- proof theoretic
- key concepts
- cut elimination
- theorem prover
- logical rules
- object oriented languages
- theorem proving
- exception handling
- object oriented concepts
- sequent calculi
- automated theorem proving
- functional programming
- learning perl
- sequent calculus
- logic programming
- modal logic
- web development
- complete axiomatization
- databases
- database systems