Computers / Software Development & Engineering / Quality Assurance & Testing
Showing results 1-2 of 2
Filter Results OPEN +
Introduction to Static Analysis
Introduction to Static Analysis
An Abstract Interpretation Perspective
ISBN: 9780262043410
Publisher: The MIT Press
Pub Date: February 11, 2020
A self-contained introduction to abstract interpretation–based static analysis, an essential resource for students, developers, and users.
Types and Programming Languages
Types and Programming Languages
ISBN: 9780262162098
Publisher: The MIT Press
Pub Date: January 4, 2002
A comprehensive introduction to type systems and programming languages.
Introduction to Static Analysis
Introduction to Static Analysis
An Abstract Interpretation Perspective
ISBN: 9780262043410
Publisher: The MIT Press
Pub Date: February 11, 2020
A self-contained introduction to abstract interpretation–based static analysis, an essential resource for students, developers, and users.
Types and Programming Languages
Types and Programming Languages
ISBN: 9780262162098
Publisher: The MIT Press
Pub Date: January 4, 2002
A comprehensive introduction to type systems and programming languages.