KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Static Analysis
  • Produktbild: Static Analysis
Band 1694

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

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.09.1999

Abbildungen

VIII, 360 p.

Herausgeber

Agostino Cortesi + weitere

Verlag

Springer Berlin

Seitenzahl

360

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

563 g

Auflage

1999

Sprache

Englisch

ISBN

978-3-540-66459-8

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.09.1999

Abbildungen

VIII, 360 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

360

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

563 g

Auflage

1999

Sprache

Englisch

ISBN

978-3-540-66459-8

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Static Analysis
  • Produktbild: Static Analysis
  • 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.