Static Analysis

7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings

464 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

Invited Papers.- Enforcing Design Constraints with Object Logic.- Model Checking as Constraint Solving.- Contributed Papers.- Abstract Interpretation Based Semantics of Sequent Calculi.- A Transformational Approach for Generating Non-linear Invariants.- Deriving Parallel Codes via Invariants.- Safety of Strictness Analysis via Term Graph Rewriting.- Checking Cleanness in Linked Lists.- Confidentiality Analysis of Mobile Systems.- Unified Analysis of Array and Object References in Strongly Typed Languages.- Polymorphic versus Monomorphic Flow-Insensitive Points-To Analysis for C.- Efficient Inference of Static Types for Java Bytecode.- Abstract Interpretation of Game Properties.- FULLDOC: A Full Reporting Debugger for Optimized Code.- Partial Redundancy Elimination on Predicated Code.- TVLA: A System for Implementing Static Analyses.- Tree Schemata and Fair Termination.- Abstract Interpretation of Probabilistic Semantics.- Code Specialization Based on Value Profiles.- Flattening Is an Improvement.- Model Checking Guided Abstraction and Analysis.- Abstract Domains for Sharing Analysis by Optimal Semantics.- Concurrency Analysis for Java.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Theoretische Informatik
• ISBN: 9783540676683
• Sprache: Englisch
• Erscheinungsdatum: 14.06.2000
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: Jens Palsberg