Willkommen, schön sind Sie da!
Logo Ex Libris

Static Analysis

  • Kartonierter Einband
  • 404 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This volume contains the proceedings of the 1998 international symposium on staticanalysis(SAS 98)whichwasheldinPisa(Italy),onSept... Weiterlesen
20%
108.00 CHF 86.40
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This volume contains the proceedings of the 1998 international symposium on staticanalysis(SAS 98)whichwasheldinPisa(Italy),onSeptember14-16,1998 and was part of a federated conference with ALP-PLILP 98 and several wo- shops. SAS 98isthe annualconferenceandforumforresearchersinallaspectsof staticanalysis. ItfollowstoSAS 94,SAS 95,SAS 96andSAS 97whichwereheld respectively in Namur (Belgium), Glasgow (UK), Aachen (Germany) and Paris (France), and the international workshops WSA 92 held in Bordeaux (France) and WSA 93 held in Padova (Italy). In response to the call for papers, 48 papers were submitted. All papers were reviewed by at least three reviewers and the program committee met in Pisa to select 20 papers based on the referee reports. There was a consensus at the meeting that the technical papers were of very high quality. In addition to the submitted papers, SAS 98 had a number of outstanding invited speakers. Roberto Giacobazzi, Peter Lee, Amir Pnueli, Dave Schmidt, Scott Smolka, and Bernhard Ste?en accepted our invitation to give invited talks or tutorials. Some ofthepapers(orabstracts)basedonthesetalksarealsoincludedin thisvolume. SAS 98 has been fortunate to rely on a number of individuals and orga- zations. I want to thank all the program committee members and referees, for their hard work in producing the reviews and for such a smooth and enj- able programcommittee meeting. Special thanks go to the conference chairman, Maurizio Gabbrielli, and to my students in Pisa who helped me a lot. More s- cial thanks go to Vladimiro Sassone, who made available to SAS 98 his excellent system for handling submissions and reviews on the web, and to Ernesto Lastres andRen` eMorenowhoweremy systemmanagers .

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

Produktinformationen

Titel: Static Analysis
Untertitel: 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings
Editor:
EAN: 9783540650140
ISBN: 3540650148
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Genre: Informatik
Anzahl Seiten: 404
Gewicht: 610g
Größe: H235mm x B155mm x T21mm
Jahr: 1998
Auflage: 1998

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"

Teil 1503
Sie sind hier.