Big Books of 2026

Join the Goodreads Author Program

Are you Neil D. Jones, author of the books below?
Partial Evaluation and Automatic Program Generation by Neil D. Jones Computability and Complexity by Neil D. Jones Computability theory by Neil D. Jones Program Flow Analysis by Neil D. Jones Logic, Language, and Computation by Neil D. Jones TEMPO by Neil D. Jones Semantics-Directed Compiler Generation by Neil D. Jones Esop '90 by Neil D. Jones Verification, Model Checking, and Abstract Interpretation by Neil D. Jones Verification, Model Checking, and Abstract Interpretation by Neil D. Jones


To join the author program as Neil D. Jones, you will first need to sign in to Goodreads. Then navigate back to this page to apply.


About the Author Program
Authors on Goodreads
Author Guidelines
Author Program How-To
Author & Advertisers Blog
Ask the Author: Featured Authors
About Goodreads