Publication

2003-07-29 - Springer

Language

English

Word Count

50,250 words, Guess

Page Count

201 pages

Physical Format

Paperback

Identifiers

First Sentence

The technique of Abstract Interpretation [13] has allowed the development of sophisticated program analyses which are provably correct and practical.

Subjects

Other Editions

  • Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June ... Papers (Lecture Notes in Computer Science)PaperbackSpringer2003-07-29

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!