| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465833203316 |
|
|
Titolo |
Static Analysis [[electronic resource] ] : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings / / edited by Jens Palsberg |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2000.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VIII, 433 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 1824 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
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 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
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. |
|
|
|
|
|
| |