Wir verwenden Cookies, die für die ordnungsgemäße Bereitstellung unseres Webseitenangebots zwingend erforderlich sind. Mit Klick auf "Einverstanden" setzen wir zusätzlich Cookies und Dienste von Drittanbietern ein, um unser Angebot durch Analyse des Nutzungsverhaltens zu optimieren, um Nutzungsprofile zu erstellen, interessenbezogene Werbung anzuzeigen, sowie die Webseiten-Performance zu verbessern. Ihre Einwilligung können Sie jederzeit durch erneuten Aufruf dieses Cookie-Banners am Ende der Webseite widerrufen. Weitere Informationen und Einzelheiten finden Sie in der Datenschutzerklärung.
Einverstanden
Nur funktionale Cookies
Alle
Direkt bestellen
Merkzettel
Warenkorb

KALENDER SALE: Bis zu 50% reduziert!

Static Analysis

6th International Symposium, SAS '99, Venice, Italy, September 22-24, 199. Proceedings (Sprache: Englisch)
Keine Kommentare vorhanden
Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Static Analysis".

Kommentar verfassen
 
 
Merken
Teilen
Merken
Teilen
 
 
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...
Mehr zum Inhalt Video Inhaltsverzeichnis
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 3151818

Buch 80.24 €
Jetzt vorbestellen
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 3151818

Buch 80.24 €
Jetzt vorbestellen
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...
Mehr zum Inhalt Video Inhaltsverzeichnis
Andere Kunden interessierten sich auch für
-6%
Lecture Notes in Computer Science: Static Analysis

Lecture Notes in Computer Science: Static Analysis

0 Sterne
eBook

Statt 80.24 € 19

75.14 €

Erschienen am 31.07.2003
Leider schon ausverkauft
Static Analysis

Static Analysis

0 Sterne
Buch

80.24 €

Vorbestellen
Erschienen am 27.08.1997
Voraussichtlich lieferbar in 3 Tag(en)
Static Analysis

Static Analysis

0 Sterne
Buch

74.89 €

Vorbestellen
Erschienen am 08.09.1993
Voraussichtlich lieferbar in 3 Tag(en)
Model Driven Engineering Languages and Systems

Model Driven Engineering Languages and Systems

0 Sterne
Buch

89.99 €

In den Warenkorb
Erschienen am 27.09.2010
lieferbar
Theory and Practice of Model Transformations

Theory and Practice of Model Transformations

0 Sterne
Buch

69.99 €

In den Warenkorb
Erschienen am 07.07.2015
lieferbar
Software Engineering and Formal Methods

Software Engineering and Formal Methods

0 Sterne
Buch

62.05 €

In den Warenkorb
Erschienen am 30.05.2018
lieferbar
A Survey of Verification Techniques for Parallel Programs

A Survey of Verification Techniques for Parallel Programs

Howard Barringer

0 Sterne
Buch

24.60 €

Vorbestellen
Erschienen am 01.05.1985
Voraussichtlich lieferbar in 3 Tag(en)
Conceptual Modeling - ER 2010

Conceptual Modeling - ER 2010

0 Sterne
Buch

96.29 €

In den Warenkorb
lieferbar
Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

0 Sterne
Buch

57.78 €

In den Warenkorb
Erschienen am 20.02.2013
lieferbar
Pattern Calculus

Pattern Calculus

Barry Jay

0 Sterne
Buch

139.09 €

In den Warenkorb
Erschienen am 12.08.2009
lieferbar
Coordination, Organizations, Institutions, and Norms in Agent Systems III

Coordination, Organizations, Institutions, and Norms in Agent Systems III

0 Sterne
Buch

79.99 €

In den Warenkorb
Erschienen am 08.04.2008
lieferbar
Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

0 Sterne
Buch

58.84 €

In den Warenkorb
Erschienen am 12.11.2017
lieferbar
Algorithmic Language and Program Development

Algorithmic Language and Program Development

Friedrich L. Bauer, Hans Wössner

0 Sterne
Buch

80.24 €

Vorbestellen
Erschienen am 01.10.1982
Voraussichtlich lieferbar in 5 Tag(en)
MapReduce Design Patterns

MapReduce Design Patterns

Donald Miner, Adam Shook

0 Sterne
Buch

45.00 €

In den Warenkorb
Erschienen am 28.12.2012
lieferbar
Modelling Autonomic Communication Environments

Modelling Autonomic Communication Environments

0 Sterne
Buch

64.19 €

In den Warenkorb
Erschienen am 19.10.2010
lieferbar
Agent-Oriented Software Engineering X

Agent-Oriented Software Engineering X

0 Sterne
Buch

89.99 €

In den Warenkorb
Erschienen am 14.03.2011
lieferbar
Models in Software Engineering

Models in Software Engineering

0 Sterne
Buch

89.99 €

In den Warenkorb
Erschienen am 20.05.2011
lieferbar
Formal Techniques for Safety-Critical Systems

Formal Techniques for Safety-Critical Systems

0 Sterne
Buch

62.06 €

Vorbestellen
Erschienen am 23.04.2015
Voraussichtlich lieferbar in 3 Tag(en)
Theory and Practice of Model Transformation

Theory and Practice of Model Transformation

0 Sterne
Buch

53.49 €

Vorbestellen
Erschienen am 01.06.2018
Voraussichtlich lieferbar in 3 Tag(en)
Produktdetails
Produktinformationen zu „Static Analysis “
Klappentext zu „Static Analysis “
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 from theoretical frameworks to design, implementation, and application of analyzers in optim- ing compilers. Since 1994, SAS has been the annual conference and forum for researchers in all aspects of static analysis. This volume contains the proceedings of the 6th International Symposium on Static Analysis (SAS'99) which was held in Venice, Italy, on 22{24 September 1999. The previous SAS conferences were held in Namur (Belgium), Glasgow (UK), Aachen (Germany), Paris (France), and Pisa (Italy). The program committee selected 18 papers out of 42 submissions on the basis of at least three reviews. The resulting volume o ers to the reader a complete landscape of the research in this area. The papers contribute to the following topics: foundations of static analysis, abstract domain design, and applications of static analysis to di erent programming paradigms (concurrent, synchronous, imperative, object oriented, logical, and functional). In particular, several papers use static analysis for obtaining state space reduction in concurrent systems. New application elds are also addressed, such as the problems of security and secrecy.
Inhaltsverzeichnis zu „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.
Bibliographische Angaben

  • 1999, 372 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
  • Verlag: Springer, Berlin
  • ISBN-10: 3540664599
  • ISBN-13: 9783540664598
  • Erscheinungsdatum: 08.09.1999

Sprache:
Englisch
Kommentar zu "Static Analysis"
Keine Kommentare vorhanden
Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Static Analysis".

Kommentar verfassen
Andere Kunden kauften auch
Static Analysis

Static Analysis

0 Sterne
Buch

80.24 €

Vorbestellen
Erschienen am 27.08.1997
Voraussichtlich lieferbar in 3 Tag(en)
Static Analysis

Static Analysis

0 Sterne
Buch

74.89 €

Vorbestellen
Erschienen am 08.09.1993
Voraussichtlich lieferbar in 3 Tag(en)
Model Driven Engineering Languages and Systems

Model Driven Engineering Languages and Systems

0 Sterne
Buch

89.99 €

In den Warenkorb
Erschienen am 27.09.2010
lieferbar
Theory and Practice of Model Transformations

Theory and Practice of Model Transformations

0 Sterne
Buch

69.99 €

In den Warenkorb
Erschienen am 07.07.2015
lieferbar
Software Engineering and Formal Methods

Software Engineering and Formal Methods

0 Sterne
Buch

62.05 €

In den Warenkorb
Erschienen am 30.05.2018
lieferbar
A Survey of Verification Techniques for Parallel Programs

A Survey of Verification Techniques for Parallel Programs

Howard Barringer

0 Sterne
Buch

24.60 €

Vorbestellen
Erschienen am 01.05.1985
Voraussichtlich lieferbar in 3 Tag(en)
Conceptual Modeling - ER 2010

Conceptual Modeling - ER 2010

0 Sterne
Buch

96.29 €

In den Warenkorb
lieferbar
Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

0 Sterne
Buch

57.78 €

In den Warenkorb
Erschienen am 20.02.2013
lieferbar
Pattern Calculus

Pattern Calculus

Barry Jay

0 Sterne
Buch

139.09 €

In den Warenkorb
Erschienen am 12.08.2009
lieferbar
Coordination, Organizations, Institutions, and Norms in Agent Systems III

Coordination, Organizations, Institutions, and Norms in Agent Systems III

0 Sterne
Buch

79.99 €

In den Warenkorb
Erschienen am 08.04.2008
lieferbar
Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

0 Sterne
Buch

58.84 €

In den Warenkorb
Erschienen am 12.11.2017
lieferbar
Algorithmic Language and Program Development

Algorithmic Language and Program Development

Friedrich L. Bauer, Hans Wössner

0 Sterne
Buch

80.24 €

Vorbestellen
Erschienen am 01.10.1982
Voraussichtlich lieferbar in 5 Tag(en)
MapReduce Design Patterns

MapReduce Design Patterns

Donald Miner, Adam Shook

0 Sterne
Buch

45.00 €

In den Warenkorb
Erschienen am 28.12.2012
lieferbar
Modelling Autonomic Communication Environments

Modelling Autonomic Communication Environments

0 Sterne
Buch

64.19 €

In den Warenkorb
Erschienen am 19.10.2010
lieferbar
Agent-Oriented Software Engineering X

Agent-Oriented Software Engineering X

0 Sterne
Buch

89.99 €

In den Warenkorb
Erschienen am 14.03.2011
lieferbar
Models in Software Engineering

Models in Software Engineering

0 Sterne
Buch

89.99 €

In den Warenkorb
Erschienen am 20.05.2011
lieferbar
Formal Techniques for Safety-Critical Systems

Formal Techniques for Safety-Critical Systems

0 Sterne
Buch

62.06 €

Vorbestellen
Erschienen am 23.04.2015
Voraussichtlich lieferbar in 3 Tag(en)
Theory and Practice of Model Transformation

Theory and Practice of Model Transformation

0 Sterne
Buch

53.49 €

Vorbestellen
Erschienen am 01.06.2018
Voraussichtlich lieferbar in 3 Tag(en)
Weitere Empfehlungen zu „Static Analysis “
Weitere Artikel zum Thema
0 Gebrauchte Artikel zu „Static Analysis“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich