You need to sign in or sign up before continuing.
Take a photo of a barcode or cover
Read With Others
Book Information
367 pages • paperback • 2 editions
ISBN/UID: 9783540285847
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 01 Sep 2005
Description
Static analysis allows us to determine aspects of the dynamic behavior of p- grams and systems without actually executing them. Traditionally used in - timizing compilers, static analysis is now also used extensively in veri?cation, software certi...
Community Reviews
Content Warnings
367 pages • paperback
ISBN/UID: 9783540285847
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 01 Sep 2005
Description
Static analysis allows us to determine aspects of the dynamic behavior of p- grams and systems without actually executing them. Traditionally used in - timizing compilers, static analysis is now also used extensively in veri?cation, software certi...
Community Reviews
Content Warnings