ISBN: 9783540664598
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 prog… More...
Orellfuessli.ch Nr. A1000384096. Shipping costs:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , Versandfertig innert 4 - 7 Werktagen, zzgl. Versandkosten. (EUR 17.54) Details... |
Static Analysis 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings - new book
1999, ISBN: 3540664599
1999 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Programmiersprachen, Computerprogrammierung und Softwareentwicklung, Software Engineering, Theoretisc… More...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings (Lecture Notes in Computer Science, 1694, Band 1694) - Paperback
2008, ISBN: 9783540664598
Springer, Taschenbuch, Auflage: 1999, 368 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, 1.15 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büc… More...
amazon.de DMI Media Europe Gebraucht, wie neu. Shipping costs:Gewöhnlich versandfertig in 6 bis 7 Tagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
ISBN: 9783540664598
Paperback, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG], The papers contribute to the following topics: foundations of static analysis, abstract domain design, and applicatio… More...
BookDepository.com Shipping costs:Versandkostenfrei. (EUR 0.00) Details... |
ISBN: 9783540664598
*Static Analysis* - 6th International Symposium SAS'99 Venice Italy September 22-24 1999 Proceedings. Auflage 1999 / Taschenbuch für 53.49 € / Aus dem Bereich: Bücher, Ratgeber, Computer … More...
Hugendubel.de Shipping costs:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
ISBN: 9783540664598
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 prog… More...
File, Gilberto (Herausgeber); Cortesi, Agostino (Herausgeber):
Static Analysis 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings - new book1999, ISBN: 3540664599
1999 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Programmiersprachen, Computerprogrammierung und Softwareentwicklung, Software Engineering, Theoretisc… More...
Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings (Lecture Notes in Computer Science, 1694, Band 1694) - Paperback
2008
ISBN: 9783540664598
Springer, Taschenbuch, Auflage: 1999, 368 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, 1.15 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büc… More...
ISBN: 9783540664598
Paperback, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG], The papers contribute to the following topics: foundations of static analysis, abstract domain design, and applicatio… More...
ISBN: 9783540664598
*Static Analysis* - 6th International Symposium SAS'99 Venice Italy September 22-24 1999 Proceedings. Auflage 1999 / Taschenbuch für 53.49 € / Aus dem Bereich: Bücher, Ratgeber, Computer … More...
Bibliographic data of the best matching book
Author: | |
Title: | |
ISBN: |
Details of the book - Static Analysis
EAN (ISBN-13): 9783540664598
ISBN (ISBN-10): 3540664599
Hardcover
Paperback
Publishing year: 1999
Publisher: Springer Berlin Heidelberg
372 Pages
Weight: 0,561 kg
Language: eng/Englisch
Book in our database since 2007-03-07T11:11:11+00:00 (London)
Detail page last modified on 2024-02-05T15:09:38+00:00 (London)
ISBN/EAN: 3540664599
ISBN - alternate spelling:
3-540-66459-9, 978-3-540-66459-8
Alternate spelling and related search-keywords:
Book author: agostino, agosti, cortesi, cortes, landscape annual
Book title: computer notes, static analysis, sas, who who 1999, venice, notes analyses, italy, fundamentals computation theory
Information from Publisher
Author: Agostino Cortesi; Gilberto File
Title: Lecture Notes in Computer Science; Static Analysis - 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings
Publisher: Springer; Springer Berlin
360 Pages
Publishing year: 1999-09-08
Berlin; Heidelberg; DE
Language: English
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VIII, 360 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Java; abstract interpretation; formal methods; partial evaluation; program analysis; program semantics; structured analysis; Software Engineering; Theory of Computation; Compilers and Interpreters; Programming Techniques; Computer Science Logic and Foundations of Programming; Theoretische Informatik; Compiler und Übersetzer; Computerprogrammierung und Softwareentwicklung; EA
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.Includes supplementary material: sn.pub/extras
More/other books that might be very similar to this book
Latest similar book:
9783031223075 Static Analysis (Gagandeep Singh; Caterina Urban)
- 9783031223075 Static Analysis (Gagandeep Singh; Caterina Urban)
- 9783030323042 Static Analysis (Bor-Yuh Evan Chang)
- 9783030323035 Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings Bor-Yuh Evan Chang Editor (Bor-Yuh Evan Chang)
- 9783540482949 Static Analysis (Agostino Cortesi; Gilberto File)
- Static Analysis
< to archive...