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

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

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

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