Static Analysis

15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings

By: MarÃa Alpuente (Editor), GermÃ¡n Vidal-Oriola (Editor)

Write A Review

Paperback | 1 July 2008

At a Glance

Paperback
396 Pages

Dimensions(cm)
22.86 x 15.24 x 2.54

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programming languages and systems. The series of Static Analysis symposia has served as the primary venue for presentation and disc- sion of theoretical, practical, and application advances in the area. This volume contains the papers accepted for presentation at the 15th Inter- tional Static Analysis Symposium (SAS 2008), which was held July 16-18, 2008, in Valencia, Spain. The previous SAS conferences were held in Kongens Lyngby, D- mark (2007), Seoul, South Korea (2006), London, UK (2005), Verona, Italy (2004), San Diego, USA (2003), Madrid, Spain (2002), Paris, France (2001), Santa B- bara, USA (2000), Venice, Italy (1999), Pisa, Italy (1998), Paris, France (1997), Aachen, Germany (1996), Glasgow, UK (1995), and Namur, Belgium (1994). In response to the call for papers, 63 contributions were submitted from 26 d- ferent countries. The Program Committee selected 22 papers, basing this choice on their scienti?c quality, originality, and relevance to the symposium. Each - per was reviewed by at least three Program Committee members or external r- erees. In addition to the contributed papers, this volume includes contributions by two outstanding invited speakers: Roberto Giacobazzi (Universit` a degli Studi di Verona) and Ben Liblit (University of Wisconsin-Madison). The resulting volume o?ers the reader a complete landscape of the research in this area.

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 Mathematics Mathematical Foundation Mathematical Logic Computer Science Computer Architecture & Logic Design Compilers & Interpreters

Transforming Abstract Interpretations by Abstract Interpretation: New Challenges in Language-Based Security	p. 1
Reflections on the Role of Static Analysis in Cooperative Bug Isolation	p. 18
Relational Analysis of Correlation	p. 32
Convex Hull of Arithmetic Automata	p. 47
Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors	p. 62
Protocol Inference Using Static Path Profiles	p. 78
Solving Multiple Dataflow Queries Using WPDSs	p. 93
Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA	p. 110
Typing Linear Constraints for Moding CLP(R) Programs	p. 128
On Polymorphic Recursion, Type Systems, and Abstract Interpretation	p. 144
Modal Abstractions of Concurrent Behaviour	p. 159
Hiding Software Watermarks in Loop Structures	p. 174
Inferring Min and Max Invariants Using Max-Plus Polyhedra	p. 189
Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors	p. 205
Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis	p. 221
SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement	p. 238
Flow Analysis, Linearity, and PTIME	p. 255
Quantum Entanglement Analysis Based on Abstract Interpretation	p. 270
Language Strength Reduction	p. 283
Analysing All Polynomial Equations in Z2w	p. 299
Splitting the Control Flow with Boolean Flags	p. 315
Reasoning about Control Flow in the Presence of Transient Faults	p. 332
A Calculational Approach to Control-Flow Analysis by Abstract Interpretation	p. 347
Heap Decomposition for Concurrent Shape Analysis	p. 363
Author Index	p. 379
Table of Contents provided by Blackwell. All Rights Reserved.

Static Analysis

15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, 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

The Explosive Child: Sixth Edition

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

Python Crash Course

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

Designing Data-Intensive Applications

The Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Advances of Machine Learning for Knowledge Mining in Electronic Health Records

AI-Driven IoT Systems for Industry 4.0

Edge AI in Future Computing

Artificial Intelligence and Communication Techniques in Industry 5.0

Advances in Manufacturing, Design and Computational Intelligence Techniques

Artificial Intelligence and Internet of Things in Smart Farming

Artificial Intelligence and IoT for Cyber Security Solutions in Smart Cities

Artificial Intelligence in Medicine and Healthcare

Artificial Intelligence Revolutionizing Cancer Care

Precision Diagnosis and Patient-Centric Healthcare

Big Data Analytics and Intelligent Applications for Smart and Secure Healthcare Services

Computational and Intelligent Systems

Blockchain Technology for Cyber Defense, Cybersecurity, and Countermeasures

Techniques, Solutions, and Applications

Challenges and Solutions in Internet of Things-Based Smart Applications

Complex Digital Hardware Design

Conservation of Twentieth-Century Furniture

Routledge Series in Conservation and Museology

Cybersecurity in Healthcare Applications

Data Structures for Engineers and Scientists Using Python

Design, Development and Analysis of Lunar Crescent Visibility Criterion With Python

Embedded Artificial Intelligence

Real-Life Applications and Case Studies

Embedded Systems for Biomedical Applications

High-Performance Computing for Smart Healthcare

Energy Efficiency and Robustness of Advanced Machine Learning Architectures

A Cross-Layer Approach

Explainable Artificial Intelligence (XAI) in Healthcare

Biomedical and Robotics Healthcare

Humans and Cyber Security

How Organisations Can Enhance Resilience Through Human Factors

Industry 6.0

Technology, Practices, Challenges, and Applications

This product is categorised by