Alan Mycroft · 7 obras en el catálogoObrasModern Java in Action: Lambdas, streams, functional and reactive programmingCCompiler ConstructionCompiler ConstructionMModern Java in ActionModern Java in ActionAA polymorphic type system for PrologA polymorphic type system for PrologStatic Analysis: Second International Symposium, Sas '95, Glasgow, Uk, September 25-27, 1995AA study on abstract interpretation and "validating microcodeA study on abstract interpretation and "validating microcode algebraically"AAbstract interpretation and optimising transformations for aAbstract interpretation and optimising transformations for applicative programs
AA study on abstract interpretation and "validating microcodeA study on abstract interpretation and "validating microcode algebraically"
AAbstract interpretation and optimising transformations for aAbstract interpretation and optimising transformations for applicative programs
