X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Online Resource
    Online Resource
    Static Analysis : 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11–13, 2003 Proceedings (2003)
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    Details
    UID:
    almahu_9947920582002882
    Format: XIV, 510 p. , online resource.
    ISBN: 9783540448983
    Series Statement: Lecture Notes in Computer Science, 2694
    Note: Static Analysis of Object-Oriented Languages -- Precise Analysis of String Expressions -- Modular Class Analysis with DATALOG -- Class-Level Modular Analysis for Object Oriented Languages -- Static Analysis of Concurrent Languages -- Checking Interference with Fractional Permissions -- Message Analysis for Concurrent Languages -- Instantaneous Termination in Pure Esterel -- Stack Size Analysis for Interrupt-Driven Programs -- Invited Paper -- Program Development Using Abstract Interpretation (And the Ciao System Preprocessor) -- Static Analysis of Functional Languages -- Selective Tail Call Elimination -- Inserting Safe Memory Reuse Commands into ML-Like Programs -- Static Analysis of Procedural Languages -- Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis -- Client-Driven Pointer Analysis -- Abstract Interpretation of Programs as Markov Decision Processes -- Static Data Analysis -- A Logic for Analyzing Abstractions of Graph Transformation Systems -- Type Systems for Distributed Data Sharing -- Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations -- Computer-Assisted Verification of a Protocol for Certified Email -- Invited Talk -- Craig Interpolation and Reachability Analysis -- Static Linear Relation Analysis -- Precise Widening Operators for Convex Polyhedra -- Cartesian Factoring of Polyhedra in Linear Relation Analysis -- Static Analysis Based Program Transformation -- Continuation-Based Partial Evaluation without Continuations -- Loop Transformations for Reducing Data Space Requirements of Resource-Constrained Applications -- Code Compaction of Matching Single-Entry Multiple-Exit Regions -- Static Heap Analysis -- Existential Heap Abstraction Entailment Is Undecidable -- Typestate Verification: Abstraction Techniques and Complexity Results -- Static Analysis of Accessed Regions in Recursive Data Structures -- Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540403258
    Language: English
    DOI: 10.1007/3-540-44898-5
    URL: http://dx.doi.org/10.1007/3-540-44898-5
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
  • 2
    Online Resource
    Online Resource
    Static Analysis : 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings (2003)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almahu_9948621359802882
    Format: XIV, 510 p. , online resource.
    Edition: 1st ed. 2003.
    ISBN: 9783540448983
    Series Statement: Lecture Notes in Computer Science, 2694
    Note: Static Analysis of Object-Oriented Languages -- Precise Analysis of String Expressions -- Modular Class Analysis with DATALOG -- Class-Level Modular Analysis for Object Oriented Languages -- Static Analysis of Concurrent Languages -- Checking Interference with Fractional Permissions -- Message Analysis for Concurrent Languages -- Instantaneous Termination in Pure Esterel -- Stack Size Analysis for Interrupt-Driven Programs -- Invited Paper -- Program Development Using Abstract Interpretation (And the Ciao System Preprocessor) -- Static Analysis of Functional Languages -- Selective Tail Call Elimination -- Inserting Safe Memory Reuse Commands into ML-Like Programs -- Static Analysis of Procedural Languages -- Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis -- Client-Driven Pointer Analysis -- Abstract Interpretation of Programs as Markov Decision Processes -- Static Data Analysis -- A Logic for Analyzing Abstractions of Graph Transformation Systems -- Type Systems for Distributed Data Sharing -- Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations -- Computer-Assisted Verification of a Protocol for Certified Email -- Invited Talk -- Craig Interpolation and Reachability Analysis -- Static Linear Relation Analysis -- Precise Widening Operators for Convex Polyhedra -- Cartesian Factoring of Polyhedra in Linear Relation Analysis -- Static Analysis Based Program Transformation -- Continuation-Based Partial Evaluation without Continuations -- Loop Transformations for Reducing Data Space Requirements of Resource-Constrained Applications -- Code Compaction of Matching Single-Entry Multiple-Exit Regions -- Static Heap Analysis -- Existential Heap Abstraction Entailment Is Undecidable -- Typestate Verification: Abstraction Techniques and Complexity Results -- Static Analysis of Accessed Regions in Recursive Data Structures -- Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783662186183
    Additional Edition: Printed edition: ISBN 9783540403258
    Language: English
    DOI: 10.1007/3-540-44898-5
    URL: https://doi.org/10.1007/3-540-44898-5
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
  • 3
    Online Resource
    Online Resource
    Static Analysis : 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11–13, 2003 Proceedings (2003)
    Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg
    Details
    UID:
    gbv_1649239122
    Format: Online-Ressource
    ISBN: 9783540448983 , 3540403256
    Series Statement: Lecture Notes in Computer Science 2694
    Content: This book constitutes the refereed proceedings of the 10th International Symposium on Static Analysis, SAS 2003, held in San Diego, CA, USA in June 2003 as part of FCRC 2003. The 25 revised full papers presented together with two invited contributions were carefully reviewed and selected from 82 submissions. The papers are organized in topical sections on static analysis of object-oriented languages, static analysis of concurrent languages, static analysis of functional languages, static analysis of procedural languages, static data analysis, static linear relation analysis, static analysis based program transformation, and static heap analysis
    Additional Edition: ISBN 9783540403258
    Additional Edition: Buchausg. u.d.T. Static analysis Berlin : Springer, 2003 ISBN 3540403256
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: Statische Analyse ; Statische Analyse ; Programmanalyse ; Statische Analyse ; Programmtransformation ; Statistische Analyse ; Programmverifikation ; Statische Analyse ; Model Checking ; Statische Analyse ; Statische Analyse ; Programmanalyse ; Statische Analyse ; Programmtransformation ; Statistische Analyse ; Programmverifikation ; Statische Analyse ; Model Checking ; Konferenzschrift ; Konferenzschrift
    DOI: 10.1007/3-540-44898-5
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    URL: Inhaltstext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    UB Potsdam
  • 4
    Online Resource
    Online Resource
    Proceedings of the 10th international conference on Static analysis (2003)
    Berlin, Heidelberg : Springer-Verlag
    Details
    UID:
    gbv_1752063686
    Format: 1 online resource (504 pages)
    ISBN: 9783540403258
    Series Statement: ACM Conferences
    Note: Title from The ACM Digital Library
    Language: English
    Keywords: Konferenzschrift
    DOI: 10.5555/1760267
    URL: lizenzpflichtig
    URL: Inhaltstext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    UB Potsdam
  • 5
    Book
    Book
    Static analysis : 10th international symposium ; proceedings (2003)
    Berlin : Springer
    Details
    UID:
    gbv_364821345
    Format: XIV, 503 S. , graph. Darst.
    ISBN: 3540403256
    Series Statement: Lecture notes in computer science 2694
    Note: Includes bibliographical references and index
    Additional Edition: Erscheint auch als Online-Ausgabe Cousot, Radhia Static Analysis Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2003 ISBN 9783540448983
    Additional Edition: ISBN 3540403256
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: Statische Analyse ; Statische Analyse ; Programmanalyse ; Statische Analyse ; Programmtransformation ; Statistische Analyse ; Programmverifikation ; Statische Analyse ; Model Checking ; Statische Analyse ; Statische Analyse ; Programmanalyse ; Statische Analyse ; Programmtransformation ; Statistische Analyse ; Programmverifikation ; Statische Analyse ; Model Checking ; Konferenzschrift
    URL: Cover
    URL: Inhaltstext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    UB Potsdam get availability status
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Did you mean 9783540042358?
Did you mean 9783540003250?
Did you mean 9783540003298?
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages