Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings by

Lecture Notes in Computer Science

Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings

467 pages • paperback

1 edition

nonfiction computer science science medium-paced
mark as owned
More Options
add to favorites

Browse Similar Books

Read With Others

Start a Readalong

Start a Buddy Read

Book Information

Report Missing/Incorrect Information

Powered by AI (Beta)
Loading...

Description

The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms, fordesigningsemantics-basedtransformations of programs and for obtaining high-performance implementations of high-level programming langu...

Show More

Community Reviews

Loading...

Content Warnings

Loading...