Start Over
You searched for: author_facet Jones, Neil D.

Search Results

Cover image for Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Location
Access Content Online
Cover image for Programs As Data Objects

Programs As Data Objects

Location
Access Content Online
Cover image for Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Location
Access Content Online
Cover image for The essence of computation

The essence of computation

  • 2002
  • Format: Electronic
Location
Access Content Online
Cover image for The essence of computation

The essence of computation

  • 2002
  • Format: Electronic
Location
Access Content Online
Cover image for Computability and complexity

Computability and complexity

Location Call # Status
Joyner - General Stacks QA76.6 .J6658 1997 ✔ Available
Cover image for Computability and complexity

Computability and complexity

Location
Access Content Online
Cover image for Logic, language, and computation

Logic, language, and computation

  • 1994
  • Format: Electronic
Location
Access Content Online
Cover image for Logic, language, and computation

Logic, language, and computation

  • 1994
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76 .L56625 1994 ✔ Available
Cover image for Partial evaluation and automatic program generation

Partial evaluation and automatic program generation

Location Call # Status
Joyner - General Stacks QA76.6 .J666 1993 ✔ Available