Wonder Club world wonders pyramid logo
×

Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings Book

Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings
Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings, , Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings has a rating of 3.5 stars
   2 Ratings
X
Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings, , Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings
3.5 out of 5 stars based on 2 reviews
5
0 %
4
50 %
3
50 %
2
0 %
1
0 %
Digital Copy
PDF format
1 available   for $99.99
Original Magazine
Physical Format

Sold Out

  • Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings
  • Written by author A. Cortesi
  • Published by Springer-Verlag New York, LLC, October 1999
  • This book constitutes the refereed proceedings of the 6th International Symposium on Static Analysis, SAS'99, held in Venice, Italy in September 1999. The 18 revised full papers presented together with five invited contributions, were carefully reviewed a
Buy Digital  USD$99.99

WonderClub View Cart Button

WonderClub Add to Inventory Button
WonderClub Add to Wishlist Button
WonderClub Add to Collection Button

Book Categories

Authors

A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives1
Static Analyses for Eliminating Unnecessary Synchronization from Java Programs19
Dynamic Partitioning in Analyses of Numerical Properties39
Polyhedral Analysis for Synchronous Languages51
Decomposing Non-Redundant Sharing by Complementation69
Freeness Analysis Through Linear Refinement85
Binary Decision Graphs101
Binding-Time Analysis for Both Static and Dynamic Expressions117
Abstract Interpretation of Mobile Ambients134
Abstracting Cryptographic Protocols with Tree Automata149
State Space Reduction Based on Live Variables Analysis164
Partial Dead Code Elimination Using Extended Value Graph179
Translating Out of Single Assignment Form194
Eliminating Dead Code on Recursive Data211
Detecting Equalities of Variables Combining Efficiency with Precision232
A New Class of Functions for Abstract Interpretation248
Equational Semantics264
Abstract Animator for Temporal Specifications Application to TLA284
Static Analysis of Mega-Programs300
Safety versus Secrecy303
On the Complexity Analysis of Static Analyses312
Model-Checking. A Tutorial Introduction330
Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis355
Author Index357


Login

  |  

Complaints

  |  

Blog

  |  

Games

  |  

Digital Media

  |  

Souls

  |  

Obituary

  |  

Contact Us

  |  

FAQ

CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!!

X
WonderClub Home

This item is in your Wish List

Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings, , Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings

X
WonderClub Home

This item is in your Collection

Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings, , Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings

Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings

X
WonderClub Home

This Item is in Your Inventory

Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings, , Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings

Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings

WonderClub Home

You must be logged in to review the products

E-mail address:

Password: