Static Analysis
Springer Berlin (Verlag)
978-3-540-66459-8 (ISBN)
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.
Erscheint lt. Verlag | 8.9.1999 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science |
Zusatzinfo | VIII, 360 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 233 mm |
Gewicht | 482 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
Informatik ► Theorie / Studium ► Compilerbau | |
Schlagworte | Abstract Interpretation • Formalisierung • formal methods • Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Informatik • HC/Informatik, EDV/Programmiersprachen • Java • Partial Evaluation • program analysis • Programm • Program Semantics • Statistik Analyse System (SAS) • structured analysis |
ISBN-10 | 3-540-66459-9 / 3540664599 |
ISBN-13 | 978-3-540-66459-8 / 9783540664598 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich