Static Analysis: Second International Symposium, Sas '95, Glasgow, Uk, September 25-27, 1995 View on Open Library

Static Analysis: Second International Symposium, Sas '95, Glasgow, Uk, September 25-27, 1995

by Alan Mycroft

No reviews yet
First published: 1995 1 language ISBN: 9783540603603

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Alan Mycroft

Abstract interpretation and optimising transformations for applicative programs

Abstract interpretation and optimising t...

Compiler Construction

Compiler Construction

Modern Java in Action

Modern Java in Action

Modern Java in Action: Lambdas, streams, functional and reactive programming

Modern Java in Action: Lambdas, streams,...

A polymorphic type system for Prolog

A polymorphic type system for Prolog

A study on abstract interpretation and "validating microcode algebraically"

A study on abstract interpretation and "...