Cover Image
Read Now

Static Analysis 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings

Bibliographic Details
Other Authors: Giacobazzi, Roberto (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2004, 2004
Edition:1st ed. 2004
Series:Lecture Notes in Computer Science
Subjects:
Compilers (computer Programs)
Computer Science Logic And Foundations Of Programming
Compilers And Interpreters
Software Engineering
Programming Techniques
Computer Science
Computer Programming
Formal Languages And Automata Theory
Machine Theory
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Table of Contents:
  • Invited Talks
  • Injecting Life with Computers
  • The Blast Query Language for Software Verification
  • Program Generators and the Tools to Make Them
  • Towards Declarative Programming for Web Services
  • Program and System Verification
  • Closed and Logical Relations for Over- and Under-Approximation of Powersets
  • Completeness Refinement in Abstract Symbolic Trajectory Evaluation
  • Constraint-Based Linear-Relations Analysis
  • Spatial Analysis of BioAmbients
  • Security and Safety
  • Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language
  • Information Flow Analysis in Logical Form
  • Type Inference Against Races
  • Pointer Analysis
  • Pointer-Range Analysis
  • A Scalable Nonuniform Pointer Analysis for Embedded Programs
  • Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis
  • Abstract Interpretation and Algorithms
  • Abstract Interpretation of Combinational Asynchronous Circuits
  • Static Analysis of Gated Data Dependence Graphs
  • A Polynomial-Time Algorithm for Global Value Numbering
  • Shape Analysis
  • Quantitative Shape Analysis
  • A Relational Approach to Interprocedural Shape Analysis
  • Partially Disjunctive Heap Abstraction
  • Abstract Domain and Data Structures
  • An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants
  • Approximating the Algebraic Relational Semantics of Imperative Programs
  • The Octahedron Abstract Domain
  • Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions
  • Shape Analysis and Logic
  • On Logics of Aliasing
  • Generalized Records and Spatial Conjunction in Role Logic
  • Termination Analysis
  • Non-termination Inference for Constraint Logic Programs

Similar Items