Neil D. Jones
Books
- Logic, language, and computation
- Programs as data objects
- Computability Theory
- The essence of computation
- Partial evaluation and automatic program generation
- TEMPO
- Logic, language, and computation
- Computability and complexity
- Semantics-Directed Compiler Generation
- Programs as data objects
- Computability theory: an introduction
- Program flow analysis
- Programming
- Programs as data objects
Author data: Open Library