Perspectives for proof unwinding by programming languages techniques.
Danko IlikPublished in: CoRR (2016)
Keyphrases
- programming language
- object oriented
- general purpose
- functional language
- strongly typed
- denotational semantics
- software engineering
- programming environment
- high level
- theorem proving
- logic programming
- theorem prover
- object oriented programming
- functional programming
- database languages
- object oriented concepts
- data abstraction
- proof planning
- specification language
- linear logic