Static Analysis: Second International Symposium, Sas '95, Glasgow, Uk, September 25-27, 1995
1.7 hrs 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
A study on abstract interpreta
A study on abstract interpretation and "validating microcode algebraically"
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