Verified programming of Turing machines in Coq.
Yannick ForsterFabian KunzeMaximilian WuttkePublished in: CPP (2020)
Keyphrases
- turing machine
- theorem prover
- programming language
- computer programming
- high level language
- programming environment
- object oriented programming
- database
- artificial intelligence
- formal methods
- data mining
- knowledge representation
- image processing
- knowledge based systems
- formal specification
- development environment
- machine learning
- databases
- database programming
- programming concepts
- data sets
- novice programmers
- computer vision