Parallélisation sémantique
Jouvelot, P. ; Feautrier, P.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 24 (1990), p. 131-159 / Harvested from Numdam
Publié le : 1990-01-01
@article{ITA_1990__24_2_131_0,
     author = {Jouvelot, P. and Feautrier, P.},
     title = {Parall\'elisation s\'emantique},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {24},
     year = {1990},
     pages = {131-159},
     zbl = {0701.68075},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/ITA_1990__24_2_131_0}
}
Jouvelot, P.; Feautrier, P. Parallélisation sémantique. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 24 (1990) pp. 131-159. http://gdmltest.u-ga.fr/item/ITA_1990__24_2_131_0/

1. A. Aho, R. Sethi et J. D. Ullman, Compilers, Addison-Wesley, 1986.

2. J. R. Allen et K. Kennedy, Automatic Loop Interchange, A.C.M. SIGPLAN Notices, vol. 19, juin 1984, p. 233-246.

3. A. J. Bernstein, Analysis of Programs for Parallel Processing, I.E.E.E. Trans, on Elec. Comp., vol. 15, octobre 1966, p. 757-763. | Zbl 0147.15002

4. L. Cardelli, Basic Polymorphic Typechecking, Polymorphism Newsletter 1, vol. II, Bell Labs, janvier 1985.

5. K. Clark et S. Gregory, PARLOG: Parallel Programming in Logic, A.C.M. Trans. on Prog. Lang. and Systems, vol. 8, janvier 1986, p. 1-49. | Zbl 0592.68016

6. D. C. Cooper, Theorem Proving in Arithmetic without Multiplication, Machine Intelligence 7, 1972, p. 91-99. | Zbl 0258.68046

7. G. Cousineau, The ML Handbook, draft I.N.R.I.A., mai 1985.

8. P. Cousot et R. Cousot, Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction of Approximations of Fixpoints, Proc. of the A.C.M. Conf. on Principles of Prog. Lang., janvier 1977, p. 238-252.

9. P. Cousot et N. Halbwachs, Automatic Discovery of Linear Restraints among Variables of a Program, Proc. of A.C.M. Conf. on Principles of Prog. Lang., janvier 1978, p. 84-96.

10. P. Cousot, Méthodes Itératives de Construction de Points Fixes d'Opérateurs Monotones sur un Treillis: Analyse Sémantique de Programmes, Thèse d'État, U.S.M.G., Grenoble, 1978.

11. R. J. Duffin, On Fourier's Analysis of Linear Inequality Systems, Mathematical Systems, vol. 1, North Holland, 1974.

12. R. W. Floyd, Assigning Meanings to Programs, 19 Symp. in Applied Math., American Math. Soc., 1967. | MR 235771 | Zbl 0189.50204

13. D. K. Gifford, P. Jouvelot, J. M. Lucassen et M. A. Sheldon, FX-87 Reference Manual, M.I.T./L.C.S. Tech. Rep. 407, septembre 1987.

14. M. J. C. Gordon et R. Milner, Edinburgh LCF, Lect. Note in Comp. Sci., n° 78, Springer Verlag, 1979. | Zbl 0421.68039

15. M. J. C. Gordon, The Denotational Description of Programming Languages, Springer Verlag, 1979. | Zbl 0412.68004

16. J. C. Johnson, YACC: Yet Another Compiler Compiler, Bells Labs, juillet 1978.

17. P. Jouvelot, ML : Un Langage de Maquettage, Journées d'étude « Nouveaux Langages pour le Génie Logiciel », A.F.C.E.T., 1985.

18. P. Jouvelot, Parallelization by Semantic Detection of Reductions, ESOP86, Lect. Note in Comp. Sci., n° 213, p. 223-236, Springer Verlag, mars 1986. | Zbl 0587.68021

19. P. Jouvelot, Designing New Languages and New Language Manipulation Systems using ML, A.C.M. SIGPLAN Notices, vol. 21, août 1986, p. 40-52.

20. P. Jouvelot, Semantic Parallelization: A Practical Exercise in Abstract Interpretation, Proc. of the A.C.M. Conf. on Principles of Prog. Lang., janvier 1987.

21. P. Jouvelot, Parallélisation Sémantique : Une Approche Dénotationnelle Non-Standard pour la Parallélisation de Programmes Séquentiels, Thèse de l'Université Paris-VI, Rapport M.A.S.I. 174, février 1987.

22. G. Kreisel et J. L. Krivine, Éléments de Logique Mathématique, Dunod, 1967. | MR 207516 | Zbl 0146.00703

23. D. J. Kuck, The Structure of Computers and Computations, John Wiley and Sons, 1977.

24. K. C. Li, A Note on the Vector C Language, A.C.M. SIGPLAN Notices, vol. 21, janvier 1986, p. 49-57.

25. D. Macqueen, in Standard ML, Edinburgh Univ. Int. Rep. ECS-LFCS-86-2, mars 1986.

26. J. S. Miller, MultiScheme, M.I.T. Ph. D. thesis, juin 1987.

27. F. Nielson, Program Transformations in a Denotational Setting, A.C.M. Trans. on Prog. Lang. and Systems, vol. 7, juillet 1985, p. 359-379. | Zbl 0566.68013

28. D. C. Oppen, A 222pn Upper Bound on the Complexity of Presburger Arithmetics, J.C.S.S., vol. 16, 1978, p. 323-332. | MR 478750 | Zbl 0381.03021

29. R. H. Perrott, A Language for Array and Vector Processors, A.C.M. Trans. on Prog. Lang. and Systems, vol. 1, octobre 1979, p. 177-195. | Zbl 0449.68004

30. J. T. Schwartz, Ultracomputers, A.C.M. Trans. on Prog. Lang. and Systems, vol. 2, octobre 1980, p. 484-521. | Zbl 0468.68027

31. D. Scott, The Lattice of Flow Diagrams, Symp. on Semantics of Algorithmic Lang., Springer Verlag, 1972, p. 311-366. | MR 278849 | Zbl 0228.68016

32. J. E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, M.I.T. Press, 1977. | MR 488969 | Zbl 0503.68059

33. N. Suzuki et D. Jefferson, Verification Decidability of Presburger Array Programs, Proc. of the Conf. on Theo. Comp. Sci., Waterloo, 1977, p. 202-212. | MR 495144 | Zbl 0411.68017

34. N. Tawbi, A. Dumay et P. Feautrier, PAF : Un Paralléliseur Automatique pour FORTRAN, Rapport M.A.S.I. 185, 1987.

35. J. A. Test, Multiprocessor Management in the Concentrix Operating System, USENIX Conf., 1986.

36. Thinking Machines Corp., The Essential* Lisp Manual, T.M.C. Tech. Rep. 86.15, avril 1986.

37. R. Triolet, Contribution à la parallélisation automatique de programmes FORTRAN comportant des appels de procédures, Thèse de Docteur-Ingénieur, Université Paris-VI, décembre 1984.