Parallélisation sémantique

 Access to full text

 Full (PDF)

1. 1. A. AHO, R. SETHI et J. D. ULLMAN, Compilers, Addison-Wesley, 1986. 
2. 2. J. R. ALLEN et K. KENNEDY, Automatic Loop Interchange, A.C.M. SIGPLAN Notices, vol. 19, juin 1984, p. 233-246. 
3. 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. Zbl0147.15002
4. 4. L. CARDELLI, Basic Polymorphic Typechecking, Polymorphism Newsletter 1, vol. II, Bell Labs, janvier 1985. 
5. 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. Zbl0592.68016
6. 6. D. C. COOPER, Theorem Proving in Arithmetic without Multiplication, Machine Intelligence 7, 1972, p. 91-99. Zbl0258.68046
7. 7. G. COUSINEAU, The ML Handbook, draft I.N.R.I.A., mai 1985. 
8. 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. 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. 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. 11. R. J. DUFFIN, On Fourier's Analysis of Linear Inequality Systems, Mathematical Systems, vol. 1, North Holland, 1974. Zbl0357.90032
12. 12. R. W. FLOYD, Assigning Meanings to Programs, 19 Symp. in Applied Math., American Math. Soc., 1967. Zbl0189.50204MR235771
13. 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. 14. M. J. C. GORDON et R. MILNER, Edinburgh LCF, Lect. Note in Comp. Sci., n° 78, Springer Verlag, 1979. Zbl0421.68039
15. 15. M. J. C. GORDON, The Denotational Description of Programming Languages, Springer Verlag, 1979. Zbl0412.68004
16. 16. J. C. JOHNSON, YACC: Yet Another Compiler Compiler, Bells Labs, juillet 1978. 
17. 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. 18. P. JOUVELOT, Parallelization by Semantic Detection of Reductions, ESOP86, Lect. Note in Comp. Sci., n° 213, p. 223-236, Springer Verlag, mars 1986. Zbl0587.68021
19. 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. 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. 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. 22. G. KREISEL et J. L. KRIVINE, Éléments de Logique Mathématique, Dunod, 1967. Zbl0146.00703MR207516
23. 23. D. J. KUCK, The Structure of Computers and Computations, John Wiley and Sons, 1977. 
24. 24. K. C. LI, A Note on the Vector C Language, A.C.M. SIGPLAN Notices, vol. 21, janvier 1986, p. 49-57. 
25. 25. D. MACQUEEN, in Standard ML, Edinburgh Univ. Int. Rep. ECS-LFCS-86-2, mars 1986. 
26. 26. J. S. MILLER, MultiScheme, M.I.T. Ph. D. thesis, juin 1987. 
27. 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. Zbl0566.68013
28. 28. D. C. OPPEN, A 222pn Upper Bound on the Complexity of Presburger Arithmetics, J.C.S.S., vol. 16, 1978, p. 323-332. Zbl0381.03021MR478750
29. 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. Zbl0449.68004
30. 30. J. T. SCHWARTZ, Ultracomputers, A.C.M. Trans. on Prog. Lang. and Systems, vol. 2, octobre 1980, p. 484-521. Zbl0468.68027
31. 31. D. SCOTT, The Lattice of Flow Diagrams, Symp. on Semantics of Algorithmic Lang., Springer Verlag, 1972, p. 311-366. Zbl0228.68016MR278849
32. 32. J. E. STOY, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, M.I.T. Press, 1977. Zbl0503.68059MR488969
33. 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. Zbl0411.68017MR495144
34. 34. N. TAWBI, A. DUMAY et P. FEAUTRIER, PAF : Un Paralléliseur Automatique pour FORTRAN, Rapport M.A.S.I. 185, 1987. 
35. 35. J. A. TEST, Multiprocessor Management in the Concentrix Operating System, USENIX Conf., 1986. 
36. 36. Thinking Machines Corp., The Essential* Lisp Manual, T.M.C. Tech. Rep. 86.15, avril 1986. 
37. 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.