TY  - BOOK
AU  - Palsberg,Jens
ED  - SpringerLink (Online service)
TI  - Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000. Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783540450993
AV  - QA76.9.L63 
U1  - 005.1015113 23
PY  - 2000///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Logic design
KW  - Computer Science
KW  - Logics and Meanings of Programs
KW  - Programming Languages, Compilers, Interpreters
KW  - Programming Techniques
KW  - Mathematical Logic and Formal Languages
KW  - Software Engineering
N1  - 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
UR  - http://dx.doi.org/10.1007/b87738
ER  -