Abstract Interpretation of Declarative Languages (Ellis Horwood Series in Computers and Their Applications) - Hardcover
Synopsis
This approach to the compiler-time analysis of programs aims to provide a formal basis for sound optimizations. It collates the latest findings from leading researchers in the field, presenting an application of programming language theory to the very practical questions in programming language implementation. The book is divided into three main areas of coverage: foundations, implementations and applications. Contributions reflect the findings of a growing number of research groups, ranging from reviews of established material to new advances, and including some philosophical perspectives on the subject.
"synopsis" may belong to another edition of this title.
