Palsberg | Static Analysis | E-Book | sack.de
E-Book

E-Book, Englisch, 433 Seiten, Web PDF

Reihe: Lecture Notes in Computer Science

Palsberg Static Analysis

7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings
Erscheinungsjahr 2004
ISBN: 978-3-540-45099-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark

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

E-Book, Englisch, 433 Seiten, Web PDF

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-540-45099-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark



Palsberg Static Analysis jetzt bestellen!

Zielgruppe


Research


Autoren/Hrsg.


Weitere Infos & Material


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.



Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.