A study on abstract interpretation and "validating microcode
A study on abstract interpretation and "validating microcode algebraically"
6 min read
Rate this book:
Buy This Book
As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.
Know this book?
Help other readers discover this title by sharing your thoughts. Be the first to write a review.
Share Your Thoughts
Sign in to write a review.
More by Alan Mycroft
A polymorphic type system for
A polymorphic type system for Prolog
Abstract interpretation and op
Abstract interpretation and optimising transformations for applicative programs
Modern Java in Action
Modern Java in Action
Modern Java in Action: Lambdas, streams, functional and reactive programming
Static Analysis: Second International Symposium, Sas '95, Glasgow, Uk, September 25-27, 1995