1
Published 2013
Table of Contents: ...Distributed Electronic Rights in JavaScript -- The Compiler Forest -- Pretty-Big-Step Semantics...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...
View full text
Electronic eBook