COMPUTERS / Mathematical & Statistical Software

A self-contained introduction to abstract interpretation–based static analysis, an essential resource for students, developers, and users.

A comprehensive introduction and reference guide to the minimum description length (MDL) Principle that is accessible to researchers dealing with inductive reference in diverse areas including statistics, pattern classification, machine learning, data mining, biology, econometrics, and experimental psychology, as well as philosophers interested in the foundations of statistics.