Parallélisation sémantique
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 24 (1990) no. 2, pp. 131-159.
@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},
     pages = {131--159},
     publisher = {EDP-Sciences},
     volume = {24},
     number = {2},
     year = {1990},
     zbl = {0701.68075},
     language = {fr},
     url = {http://archive.numdam.org/item/ITA_1990__24_2_131_0/}
}
TY  - JOUR
AU  - Jouvelot, P.
AU  - Feautrier, P.
TI  - Parallélisation sémantique
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1990
SP  - 131
EP  - 159
VL  - 24
IS  - 2
PB  - EDP-Sciences
UR  - http://archive.numdam.org/item/ITA_1990__24_2_131_0/
LA  - fr
ID  - ITA_1990__24_2_131_0
ER  - 
%0 Journal Article
%A Jouvelot, P.
%A Feautrier, P.
%T Parallélisation sémantique
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1990
%P 131-159
%V 24
%N 2
%I EDP-Sciences
%U http://archive.numdam.org/item/ITA_1990__24_2_131_0/
%G fr
%F 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) no. 2, pp. 131-159. http://archive.numdam.org/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

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

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

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 | Zbl

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

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

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

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 | Zbl

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

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 | Zbl

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

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

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

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

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 | Zbl

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.