WSA93 List of Accepted Papers Int. Workshop on Static Analysis, Padova, Sept. 93 
Author Message
 WSA93 List of Accepted Papers Int. Workshop on Static Analysis, Padova, Sept. 93

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

--

22-24 Sep 93 - Padova (Italy)   :  



Sun, 24 Dec 1995 01:21:46 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. WSA93 List of Accepted Papers Int. Workshop on Static Analysis, Padova, Sept. 93

2. WSA93 List of Accepted Papers Int. Workshop on Static Analysis, Padova, Sept. 93

3. WSA93 List of Accepted Papers Int. Workshop on Static Analysis, Padova, Sept. 93

4. WSA93 List of Accepted Papers Int. Workshop on Static Analysis, Padova, Sept. 93

5. WSA93 -- Call For Demos (Int. Workshop on Static Analysis, Padova, Sept. 93)

6. WSA93 (revised) CFP Int. Workshop on Static Analysis, Padova, Sept. 93

7. WSA93 -- Call For Demos (Int. Workshop on Static Analysis, Padova, Sept. 93)

8. WSA93 (revised) CFP Int. Workshop on Static Analysis, Padova, Sept. 93

9. WSA93 -- Call For Demos (Int. Workshop on Static Analysis, Padova, Sept. 93)

10. WSA93 (revised) CFP Int. Workshop on Static Analysis, Padova, Sept. 93

11. WSA93 -- Call For Demos (Int. Workshop on Static Analysis, Padova, Sept. 93)

12. WSA93 (revised) CFP Int. Workshop on Static Analysis, Padova, Sept. 93

 

 
Powered by phpBB® Forum Software