This book constitutes the refereed proceedings of the 7th International Static Analysis Symposium, SAS 2000, held in Santa Barbara, CA, USA, in June/July 2000.
The 20 revised full papers presented were carefully reviewed and selected from 52 submissions. Also included are 2 invited full papers. All current aspects of high-performance implementation and verification of programming languages are addressed, in particular object logics, model checking, constraint solving, abstract interpretation, program transformation, rewriting, confidentiality analysis, typed languages, unified analysis, code optimization, termination, code specialization, and guided abstraction.
Author(s): Daniel Jackson (auth.), Jens Palsberg (eds.)
Series: Lecture Notes in Computer Science 1824
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2000
Language: English
Pages: 433
Tags: Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Programming Techniques; Mathematical Logic and Formal Languages; Software Engineering
Front Matter....Pages -
Enforcing Design Constraints with Object Logic....Pages 1-21
Model Checking as Constraint Solving....Pages 22-37
Abstract Interpretation Based Semantics of Sequent Calculi....Pages 38-57
A Transformational Approach for Generating Non-linear Invariants....Pages 58-72
Deriving Parallel Codes via Invariants....Pages 75-94
Safety of Strictness Analysis via Term Graph Rewriting....Pages 95-114
Checking Cleanness in Linked Lists....Pages 115-134
Confidentiality Analysis of Mobile Systems....Pages 135-154
Unified Analysis of Array and Object References in Strongly Typed Languages....Pages 155-174
Polymorphic versus Monomorphic Flow-Insensitive Points-To Analysis for C....Pages 175-198
Efficient Inference of Static Types for Java Bytecode....Pages 199-219
Abstract Interpretation of Game Properties....Pages 220-239
FULLDOC: A Full Reporting Debugger for Optimized Code....Pages 240-259
Partial Redundancy Elimination on Predicated Code....Pages 260-279
TVLA: A System for Implementing Static Analyses....Pages 280-301
Tree Schemata and Fair Termination....Pages 302-319
Abstract Interpretation of Probabilistic Semantics....Pages 322-339
Code Specialization Based on Value Profiles....Pages 340-359
Flattening Is an Improvement....Pages 360-376
Model Checking Guided Abstraction and Analysis....Pages 377-396
Abstract Domains for Sharing Analysis by Optimal Semantics....Pages 397-412
Concurrency Analysis for Java....Pages 413-432
Back Matter....Pages -
