Logic, Code, and the History of Programming.
Mark PriestleyPublished in: IEEE Ann. Hist. Comput. (2021)
Keyphrases
- program code
- programming language
- programs written
- fully functional
- programming tool
- logic programming
- program understanding
- oracle database g express edition
- error handling
- code generation
- source code
- programming environment
- logical operations
- predicate logic
- address space
- databases
- operating system
- programming concepts
- set theory
- classical logic
- computer programming
- object oriented programming
- computer programs
- data flow
- modal logic
- visual studio
- multi valued
- asynchronous circuits
- digital circuits
- automated reasoning
- open source
- software engineering
- object oriented
- relational databases
- high level