Proofs and Refutations in Invariant-Based Programming.
Johannes ErikssonMasoumeh ParsaRalph-Johan BackPublished in: IFM (2014)
Keyphrases
- theorem prover
- programming language
- proof search
- formal proof
- computer programs
- programming environment
- theorem proving
- object oriented programming
- artificial intelligence
- affine invariant
- development environment
- programming course
- mathematical proofs
- real time
- formal proofs
- affine transformation
- object recognition
- computer vision
- neural network