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

Agostino Cortesi, Gilberto Filé (eds.)

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 and selected from 42 submissions. The book presents the state of the art in Static Analysis. The papers are organized in sections on synchronization in Java programs, synchronous languages, abstract domains, concurrency, static single assignment, and foundations.

「Nielsen BookData」より


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

「Nielsen BookData」より


書名 Static analysis : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings
著作者等 Cortesi, Agostino
Filé, Gilberto
File Gilberto
シリーズ名 Lecture notes in computer science
出版元 Springer
刊行年月 c1999
ページ数 viii, 356 p.
大きさ 24 cm
ISBN 3540664599
NCID BA43280853
※クリックでCiNii Booksを表示
言語 英語
出版国 ドイツ