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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Cortesi, Agostino (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), File, Gilberto (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
• Έκδοση: 1st ed. 1999.
• Σειρά: Lecture Notes in Computer Science, 1694
• Θέματα: Software engineering.; Computers.; Programming languages (Electronic computers).; Computer programming.; Computer logic.; Software Engineering/Programming and Operating Systems.; Theory of Computation.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Software Engineering.; Logics and Meanings of Programs.

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...

Πίνακας περιεχομένων:

• 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.