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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Palsberg, Jens (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
• Έκδοση: 1st ed. 2000.
• Σειρά: Lecture Notes in Computer Science, 1824
• Θέματα: Programming languages (Electronic computers).; Computer logic.; Computer programming.; Mathematical logic.; Software engineering.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Programming Techniques.; Mathematical Logic and Formal Languages.; Software Engineering.

Πίνακας περιεχομένων:

• 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.