Sold Out
Book Categories |
A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives | 1 | |
Static Analyses for Eliminating Unnecessary Synchronization from Java Programs | 19 | |
Dynamic Partitioning in Analyses of Numerical Properties | 39 | |
Polyhedral Analysis for Synchronous Languages | 51 | |
Decomposing Non-Redundant Sharing by Complementation | 69 | |
Freeness Analysis Through Linear Refinement | 85 | |
Binary Decision Graphs | 101 | |
Binding-Time Analysis for Both Static and Dynamic Expressions | 117 | |
Abstract Interpretation of Mobile Ambients | 134 | |
Abstracting Cryptographic Protocols with Tree Automata | 149 | |
State Space Reduction Based on Live Variables Analysis | 164 | |
Partial Dead Code Elimination Using Extended Value Graph | 179 | |
Translating Out of Single Assignment Form | 194 | |
Eliminating Dead Code on Recursive Data | 211 | |
Detecting Equalities of Variables Combining Efficiency with Precision | 232 | |
A New Class of Functions for Abstract Interpretation | 248 | |
Equational Semantics | 264 | |
Abstract Animator for Temporal Specifications Application to TLA | 284 | |
Static Analysis of Mega-Programs | 300 | |
Safety versus Secrecy | 303 | |
On the Complexity Analysis of Static Analyses | 312 | |
Model-Checking. A Tutorial Introduction | 330 | |
Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis | 355 | |
Author Index | 357 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionStatic Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings
X
This Item is in Your InventoryStatic Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings
X
You must be logged in to review the productsX
X
X
Add 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 to the inventory that you are selling on WonderClubX
X
Add 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 to your collection on WonderClub |