Abstract Interpretation of Declarative Languages (Ellis Horwood Books in Computing Science, Series in Computer)

ISBN 10: 0470209712 / ISBN 13: 9780470209714

Published by Ellis Horwood, Ltd., 1987

About this Item

Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_337530697

Bibliographic Details

Title: Abstract Interpretation of Declarative ...

Publisher: Ellis Horwood, Ltd.

Publication Date: 1987

Binding: paperback

Condition: Good

About this title

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.