Cousot

Static Analysis

Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings
Mitarbeit:Cousot, Patrick; Falaschi, Moreno; File, Gilberto

• Broschiertes Buch

Produktbeschreibung

This volume constitutes the proceedings of the thirdInternational Workshop on Static Analysis (WSA`93), held inPadova, Italy, in September 1993. The objective of theinternational workshop series WSA is to serve as a forum forthe discussion of the various aspects of static analysis indifferent programming paradigms. The clearly increasingmumbers of submitted papers and workshop participants pointout the growing importance of static analysis techniques forlogical, functional, concurrent and parallel languages aswell as for parallel term rewriting systems.This proceedings contains, besides the abstracts or fullpapers of the invited talks given by Pascal Van Hentenryck,Peter van Roy, and Paul Hudak, full versions of the 20contributed papers selected from a total of 68 submissionsby an international program committee consisting of manyrenown researchers in the field. The volume is organized insections on fixpoint computation, concurrency, parallelism,transformation, logic programs, term rewriting systems,strictness, reasoning about programs, and types.

Produktdetails

• Lecture Notes in Computer Science 724
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-57264-0
• 1993.
• Seitenzahl: 300
• Erscheinungstermin: 8. September 1993
• Englisch
• Abmessung: 235mm x 155mm x 17mm
• Gewicht: 396g
• ISBN-13: 9783540572640
• ISBN-10: 3540572643
• Artikelnr.: 09236842

Inhaltsangabe

The impact of granularity in abstract interpretation of Prolog.- Optimization techniques for general purpose fixpoint algorithms practical efficiency for the abstract interpretation of Prolog.- Chaotic fixpoint iteration guided by dynamic dependency.- Fast abstract interpretation using sequential algorithms.- Abstract interpretation and verification of reactive systems.- Semantics and analysis of linda-based languages.- Compiling FX on the CM-2.- Combining dependability with architectural adaptability by means of the signal language.- Challenges in developing useful and practical static analysis for logic programs.- Occam's razor in metacomputation: the notion of a perfect process tree.- Tupling functions with multiple recursion parameters.- Avoiding repeated tests in pattern matching.- Freeness, sharing, linearity and correctness - All at once.- Synthesis of directionality information for functional logic programs.- Abstract rewriting.- Reflections on program optimization.- Finitenessconditions for strictness analysis.- Strictness properties of lazy algebraic datatypes.- Minimal thunkification.- An efficient abductive reasoning system based on program analysis.- A congruence for gamma programs.- Usage analysis with natural reduction types.- Polymorphic types and widening operators.- Demonstration: static analysis of AKL.