Neil D. Jones’s Followers (2)

Neil D. Jones

Combine Editions
Neil D. Jones’s books

Average rating: 3.9 · 10 ratings · 1 review · 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 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) 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) 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) 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) 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 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