Books by Neil D. Jones

Neil D. Jones
Average rating 3.90 · 10 ratings · 1 reviews · shelved 69 times

Showing 10 distinct works.

	Partial Evaluation and Automatic Program Generation (Prentice-hall International Series in Computer Science) by Neil D. Jones, Carsten Gomard, Peter Sestoft 3.80 avg rating — 5 ratings — published 1993 — 4 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Computability and Complexity: From a Programming Perspective by Neil D. Jones 4.50 avg rating — 2 ratings — published 1997 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Computability theory: an introduction (ACM monograph series) by Neil D. Jones really liked it 4.00 avg rating — 2 ratings — 4 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Program Flow Analysis: Theory and Applications (Prentice-Hall Software Series) by Neil D. Jones (Editor) liked it 3.00 avg rating — 1 rating — published 1981	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Verification, Model Checking, and Abstract Interpretation by Neil D. Jones, Markus Müller-Olm (Editor) 0.00 avg rating — 0 ratings — published 2009 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Logic, Language, and Computation: Festschrift in Honor of Satoru Takasu (Lecture Notes in Computer Science) by Neil D. Jones, Satoru Takasu, Masami Hagiya 0.00 avg rating — 0 ratings — published 1994 — 4 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	TEMPO: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languaues (Lecture Notes in Computer Science, 66) by Neil D. Jones, S.S. Muchnick 0.00 avg rating — 0 ratings — published 1978 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Semantics-Directed Compiler Generation: Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980 (Lecture Notes in Computer Science, 94) by Neil D. Jones (Editor) 0.00 avg rating — 0 ratings — published 1980 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Esop '90: Proceedings (Lecture Notes in Computer Science) by Neil D. Jones (Editor) 0.00 avg rating — 0 ratings — published 1990 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Verification, Model Checking, and Abstract Interpretation by Neil D. Jones (editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

* Note: these are all the books on Goodreads for this author. To add more books, click here.