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

E-Book, Englisch, Band 1503, 394 Seiten, eBook

Reihe: Lecture Notes in Computer Science

Levi Static Analysis

5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings
Erscheinungsjahr 2003
ISBN: 978-3-540-49727-1
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark

5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings

E-Book, Englisch, Band 1503, 394 Seiten, eBook

Reihe: Lecture Notes in Computer Science

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



Levi Static Analysis jetzt bestellen!

Zielgruppe


Research


Autoren/Hrsg.


Weitere Infos & Material


Data-Flow Analysis.- Bidirectional Data Flow Analysis in Code Motion: Myth and Reality.- On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines.- Enabling Sparse Constant Propagation of Array Elements via Array SSA Form.- Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses.- Logic Programming.- Analysis of Normal Logic Programs.- The Correctness of Set-Sharing.- Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing.- Concurrency.- A Symbolic Semantics for Abstract Model Checking.- Automatic Determination of Communication Topologies in Mobile Systems.- Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation.- Abstract Domains.- A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs.- Refining Static Analyses by Trace-Based Partitioning Using Control Flow.- Building Complete Abstract Interpretations in a Linear Logic-Based Setting.- Partial Evaluation.- On the Power of Homeomorphic Embedding for Online Termination.- Analysis of Imperative Programs through Analysis of Constraint Logic Programs.- Improving Control in Functional Logic Program Specialization.- Type Inference.- Directional Type Inference for Logic Programs.- Finite Subtype Inference with Explicit Polymorphism.- Optimization.- Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis.- A New Solution to the Hidden Copy Problem.- Tutorials.- A Tutorial on Domain Theory in Abstract Interpretation.- Program Analysis as Model Checking of Abstract Interpretations.- Invited Talks.- Certifying, Optimizing Compilation.



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.