Program algebra for Turing-machine programs.
Jan A. BergstraCornelis A. MiddelburgPublished in: CoRR (2019)
Keyphrases
- turing machine
- computer programs
- program execution
- computer chess
- automatic programming
- prolog programs
- java programs
- programming environments
- control program
- data model
- control flow
- hardware designs
- symbolic execution
- high level programming language
- undergraduate engineering
- program slicing
- programming environment
- static analysis
- functional programs
- loop formulas
- boolean algebra
- recursive programs
- novice programmers
- program synthesis