Static Analysis : 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings - Kwangkeun Yi

Instant online reading.
Don't wait for delivery!
Go digital and save!

Static Analysis

13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings

By: Kwangkeun Yi (Editor)

Write A Review

Paperback | 17 August 2006

At a Glance

Paperback
464 Pages

Dimensions(cm)
23.39 x 15.6 x 2.39

Paperback

$141.90

or 4 interest-free payments of $35.48 with

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the 13th International Symposium on Static Analysis, SAS 2006. The book presents 23 revised full papers together with the abstracts of 3 invited talks. The papers address all aspects of static analysis including program and systems verification, shape analysis and logic, termination analysis, bug detection, compiler optimization, software maintenance, security and safety, abstract interpretation and algorithms, abstract domain and data structures and more.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Programming & Scripting Languages Software Engineering Computer Science Computer Architecture & Logic Design Mathematics Mathematical Foundation Mathematical Logic Compilers & Interpreters

Invited Talk
Unleashing the Power of Static Analysis	p. 1

Static Analysis in Disjunctive Numerical Domains	p. 3
Static Analysis of Numerical Algorithms	p. 18
Static Analysis of String Manipulations in Critical Embedded C Programs	p. 35

Abstract Regular Tree Model Checking of Complex Dynamic Data Structures	p. 52
Structural Invariants	p. 71
Existential Label Flow Inference Via CFL Reachability	p. 88

Abstract Interpretation with Specialized Definitions	p. 107
Underapproximating Predicate Transformers	p. 127
Combining Widening and Acceleration in Linear Relation Analysis	p. 144
Beyond Iteration Vectors: Instancewise Relational Abstract Domains	p. 161
Invited Talk
Separation Logic and Program Analysis	p. 181
Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic	p. 182

Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding	p. 204
Recency-Abstraction for Heap-Allocated Storage	p. 221
Interprocedural Shape Analysis with Separated Heap Abstractions	p. 240
Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm	p. 261
Invited Talk
Shape Analysis for Low-Level Code	p. 280

Catching and Identifying Bugs in Register Allocation	p. 281
Certificate Translation for Optimizing Compilers	p. 301
Analysis of Low-Level Code Using Cooperating Decompilers	p. 318

Static Analysis for Java Servlets and JSP	p. 336
Cryptographically-Masked Flows	p. 353
Proving the Properties of Communicating Imperfectly-Clocked Synchronous Systems	p. 370

Parametric and Termination-Sensitive Control Dependence	p. 387
Memory Leak Analysis by Contradiction	p. 405
Path-Sensitive Dataflow Analysis with Iterative Refinement	p. 425
Author Index	p. 443
Table of Contents provided by Ingram. All Rights Reserved.

Static Analysis

13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Programming & Software Development

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Foundations of High Performance Computing

A Comprehensive Guide to Systems, Concepts, and Programming

Real-Time Intelligence with Microsoft Fabric

Empowering Data-Driven Decisions in the Era of AI

Mobile and Ubiquitous Systems: Computing, Networking and Services

22nd EAI International Conference, MobiQuitous 2025, Shanghai, China, November 7-9, 2025, Proceedings, Part I

Python All-in-One For Dummies

3rd Edition

The Man Who Solved the Market

How Jim Simons Launched the Quant Revolution SHORTLISTED FOR THE FT & MCKINSEY BUSINESS BOOK OF THE YEAR AWARD 2019

Web Engineering

Theory and Practice

The Essence of Software Engineering

Introduction to Programming Languages

Swift

The Practical Guide

Learning Go

An Idiomatic Approach to Real-World Go Programming

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

The C Programming Language

Prentice Hall Software

Design Patterns

Elements of Reusable Object-Oriented Software

Arduino For Dummies

For Dummies (Computer/Tech)

Microsoft Excel 365 Bible

Bible

Microsoft 365 Excel VBA Programming For Dummies

For Dummies (Computer/Tech)

Fundamentals of Python

3rd Edition - First Programs

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Make: Electronics

Learning by Discovery: A Hands-On Primer for the New Electronics Enthusiast

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Coding For Kids For Dummies

For Kids for Dummies

The Explosive Child: Sixth Edition

A New Approach for Understanding and Parenting Easily Frustrated, Chronically Inflexible Children

This product is categorised by