Program Algebra for Turing-Machine Programs.
Jan A. BergstraCornelis A. MiddelburgPublished in: Sci. Ann. Comput. Sci. (2019)
Keyphrases
- turing machine
- computer programs
- program execution
- prolog programs
- programming environment
- automatic programming
- control program
- high level programming language
- symbolic execution
- static analysis
- declarative semantics
- hardware designs
- intermediate level
- java programs
- logic programs
- programming language
- programming environments
- query language
- data model
- magic sets
- program slicing
- computer chess
- data sets