3. WSA 1993: Padova, Italy

Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy (Eds.): Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings. Lecture Notes in Computer Science 724 Springer 1993, ISBN 3-540-57264-3 BibTeX

@proceedings{DBLP:conf/sas/1993,
  editor    = {Patrick Cousot and
               Moreno Falaschi and
               Gilberto Fil{\'e} and
               Antoine Rauzy},
  title     = {Static Analysis, Third International Workshop, WSA'93, Padova,
               Italy, September 22-24, 1993, Proceedings},
  booktitle = {WSA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {724},
  year      = {1993},
  isbn      = {3-540-57264-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talk

Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier, Laurent Michel: The Impact of Granularity in Abstract Interpretation of Prolog. 1-14 BibTeX

Fixpoint Computation

Baudouin Le Charlier, Olivier Degimbe, Laurent Michel, Pascal Van Hentenryck: Optimization Techniques for General Purpose Fixpoint Algorithms - Practical Efficiency for the Abstract Interpretation of Prolog. 15-26 BibTeX
Niels Jørgensen: Chaotic Fixpoint Iteration Guided by Dynamic Dependency. 27-44 BibTeX
Alex Ferguson, John Hughes: Fast Abstract Interpretation Using Sequential Algorithms. 45-59 BibTeX

Concurrency

Jean-Claude Fernandez: Abstract Interpretation and Verification of Reactive Systems. 60-71 BibTeX
Régis Cridlig, Eric Goubault: Semantics and Analysis of Linda-Based Languages. 72-86 BibTeX

Parallelism

Jean-Pierre Talpin, Pierre Jouvelot: Compiling FX on the CM-2. 87-98 BibTeX
Olivier Maffeïs, Paul Le Guernic: Combining Dependability with Architectural Adatability by Means of the SIGNAL Language. 99-110 BibTeX

Invited Talk

Peter Van Roy: Challenges in Developing Useful and Practical Static Analysis for Logic Programs. 111 BibTeX

Transformation

Robert Glück, Andrei V. Klimov: Occam's Razor in Metacompuation: the Notion of a Perfect Process Tree. 112-123 BibTeX
Wei-Ngan Chin, Siau-Cheng Khoo: Tupling Functions with Multiple Recursion Parameters. 124-140 BibTeX
Peter Thiemann: Avoiding Repeated Tests in Pattern Matching. 141-152 BibTeX

Logic Programs

Maurice Bruynooghe, Michael Codish: Freeness, Sharing, Linearity and Correctness - All at Once. 153-164 BibTeX
Johan Boye, Jukka Paakki, Jan Maluszynski: Synthesis of Directionality Information for Functional Logic Programs. 165-177 BibTeX

Term Rewriting Systems

Didier Bert, Rachid Echahed, Bjarte M. Østvold: Abstract Rewriting. 178-192 BibTeX

Invited Talk

Paul Hudak: Reflections on Program Optimization. 193 BibTeX

Strictness

Flemming Nielson, Hanne Riis Nielson: Finiteness Conditions for Strictness Analysis. 194-205 BibTeX
P. N. Benton: Strictness Properties of Lazy Algebraic Datatypes. 206-217 BibTeX
Torben Amtoft: Minimal Thunkification. 218-229 BibTeX

Reasoning About Programs

Shohei Kato, Hirohisa Seki, Hidenori Itoh: An Efficient Abductive Reasoning System Based on Program Analysis. 230-241 BibTeX
Lindsay Errington, Chris Hankin, Thomas P. Jensen: A Congruence for Gamma Programs. 242-253 BibTeX

Types

David A. Wright, Clement A. Baker-Finch: Usage Analysis with Natural Reduction Types. 254-266 BibTeX
Bruno Monsuez: Polymorphic Types and Widening Operators. 267-281 BibTeX

Poster Session

Dan Sahlin, Thomas Sjöland: Demonstration: Static Analysis of AKL. 282-283 BibTeX