Cover Image
Read Now

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

Static analysis is increasingly recognized as a fundamental reasearch area aimed at studying and developing tools for high performance implementations and v- i cation systems for all programming language paradigms. The last two decades have witnessed substantial developments in this eld, ranging fro...

Full description

Bibliographic Details
Other Authors: Cortesi, Agostino (Editor), File, Gilberto (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1999, 1999
Edition:1st ed. 1999
Series:Lecture Notes in Computer Science
Subjects:
Compilers (computer Programs)
Computer Science Logic And Foundations Of Programming
Compilers And Interpreters
Software Engineering
Programming Techniques
Computer Science
Computer Programming
Theory Of Computation
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Table of Contents:
  • Synchronization in JAVA Programs
  • A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives
  • Static Analyses for Eliminating Unnecessary Synchronization from Java Programs
  • Synchronous Languages
  • Dynamic Partitioning in Analyses of Numerical Properties
  • Polyhedral Analysis for Synchronous Languages
  • Abstract Domains
  • Decomposing Non-redundant Sharing by Complementation
  • Freeness Analysis Through Linear Refinement
  • Binary Decision Graphs
  • Binding-Time Analysis for Both Static and Dynamic Expressions
  • Concurrency
  • Abstract Interpretation of Mobile Ambients
  • Abstracting Cryptographic Protocols with Tree Automata
  • State Space Reduction Based on Live Variables Analysis
  • Static Single Assignment
  • Partial Dead Code Elimination Using Extended Value Graph
  • Translating Out of Static Single Assignment Form
  • Optimizations
  • Eliminating Dead Code on Recursive Data
  • Detecting Equalities of Variables: Combining Efficiency with Precision
  • Foundations
  • A New Class of Functions for Abstract Interpretation
  • Equational Semantics
  • Abstract Animator for Temporal Specifications: Application to TLA
  • Invited Talks and Tutorials
  • Static Analysis of Mega-Programs
  • Safety versus Secrecy
  • On the Complexity Analysis of Static Analyses
  • Model-Checking
  • Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis

Similar Items