👤

Alan Mycroft

6 books

Books by Alan Mycroft

Modern Java in Action
Modern Java in Action
2018
Modern Java in Action: Lambdas, streams, functional and reactive programming
Modern Java in Action: Lambdas, streams, functional and reactive programming
2018
Static Analysis: Second International Symposium, Sas '95, Glasgow, Uk, September 25-27, 1995
Static Analysis: Second International Symposium, Sas '95, Glasgow, Uk, September 25-27, 1995
1995
A study on abstract interpreta
A study on abstract interpretation and "validating microcode algebraically"
1986
A polymorphic type system for
A polymorphic type system for Prolog
1983
Abstract interpretation and op
Abstract interpretation and optimising transformations for applicative programs
1981