🚀 go-pugleaf

The following 20 papers were accepted for WSA'93.

-----------------------------------------------------------------------------
1) Finiteness conditions for strictness analysis.
Flemming Nielson & H.Riis Nielson (Aarhus Univ.)

2) Optimization techniques for general purpose fixpoint algorithms: practical
efficiency for the abstract interpretation of Prolog.
O. Degimbe, B. Le Charlier, L. Michel (Namur), P. Van Hentenryck (Brown)

3) Abstract interpretation and verification of reactive systems.
J. C. Fernandez (Verimag, Grenoble Cedex)

4) Compiling FX on the CM-2*
J.P. Talpin, P. Jouvelot (Ecole Nationale Superieure des Mines de Paris)

5) An efficient abductive reasoning system based on program analysis.
S. Kato, H. Seki, H. Itoh (Nagoya Institute of technology)

6) Occam's Razor in metacomputation: the notion of a perfect process tree.
R. Gluck (Copenhagen Univ) , A. Klimov (Russian Academy of Sciences, Moscow)

7) Freeness, Sharing, Linearity and correctness - all at once.
M. Bruynooghe, M. Codish (Katholieke Universiteit Leuven)

8) Strictness properties of lazy algebraic datatype.
P. N. Benton  (Cambridge Univ.)

9) Semantics and analysis of Linda-based languages.
R. Cridlig, E. Goubault (Ecole Normale Superieure, Paris)

10) Syntesis of directionality information for functional logic programs.
J. Boye, J. Paakki, J. Malusznski (Linkoping Univ.)

11) Minimal thunkification.
Torben Amtoft (Aarhus Univ.)

12) Usage analysis with natural reduction types.
David A. Wright (Tasmania Univ.), C. A. Baker-Finch (Camberra Univ.)

13) Polimorphic types and widening operators.
B. Monsuez (Liens, Paris)

14) A congruence for Gamma programs.
L. Errington, C. Hankin, T. Jensen (Imperial College, London)

15) Combining dependability with architectural adaptability by means of the 
signal language.
O. Maffeis, P. le Guernic (IRISA/INRIA-Rennes)

16) Avoiding repeated testa in pattern matching.
P. Thiemann (Wilhelm-Schickard-Institut, Tubingen Univ.)

17) Chaotic fixpoint iteration guided by dinamic dependency.
N. Jorgensen (Roskilde University Center, Roskilde)

18) Abstract Rewriting.
D. Bert, R. Echaed, B. M. Ostvold (IMAG-LGI, Grenoble Cedex)

19) Tupling functions with multiple recursion parameters.
W.N. Chin, S.C. Khoo (National University of Singapore)

20) Fast abstract interpretation using sequential algorithms.
Alex Ferguson (Glasgow Univ.), John Hughes (Chalmers Tekniska Hogskola,
Goteborg)

--------------
P.Cousot, G.File', A. Rauzy


For more details about WSA'93 please 
contact wsa93@artemide.dei.unipd.it



-- 
Workshop on Static Analysis     :  e-mail: wsa93@artemide.dei.unipd.it  
22-24 Sep 93 - Padova (Italy)   :