EDP Sciences logo
Subscriber Authentication Point
Search
Menu
All issues Volume 24 / No 2 (1990) RAIRO-Theor. Inf. Appl., 24 2 (1990) 131-159 References
Free Access
Issue
RAIRO-Theor. Inf. Appl.
Volume 24, Number 2, 1990
Page(s) 131 - 159
DOI https://doi.org/10.1051/ita/1990240201311
Published online 01 February 2017
  1. 1. A. AHO, R. SETHI et J. D. ULLMAN, Compilers, Addison-Wesley, 1986. [Google Scholar]
  2. 2. J. R. ALLEN et K. KENNEDY, Automatic Loop Interchange, A.C.M. SIGPLAN Notices, vol. 19, juin 1984, p. 233-246. [Google Scholar]
  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. [Zbl: 0147.15002] [Google Scholar]
  4. 4. L. CARDELLI, Basic Polymorphic Typechecking, Polymorphism Newsletter 1, vol. II, Bell Labs, janvier 1985. [Google Scholar]
  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. [Zbl: 0592.68016] [Google Scholar]
  6. 6. D. C. COOPER, Theorem Proving in Arithmetic without Multiplication, Machine Intelligence 7, 1972, p. 91-99. [Zbl: 0258.68046] [Google Scholar]
  7. 7. G. COUSINEAU, The ML Handbook, draft I.N.R.I.A., mai 1985. [Google Scholar]
  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. [Google Scholar]
  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. [Google Scholar]
  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. [Google Scholar]
  11. 11. R. J. DUFFIN, On Fourier's Analysis of Linear Inequality Systems, Mathematical Systems, vol. 1, North Holland, 1974. [Zbl: 0357.90032] [Google Scholar]
  12. 12. R. W. FLOYD, Assigning Meanings to Programs, 19 Symp. in Applied Math., American Math. Soc., 1967. [MR: 235771] [Zbl: 0189.50204] [Google Scholar]
  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. [Google Scholar]
  14. 14. M. J. C. GORDON et R. MILNER, Edinburgh LCF, Lect. Note in Comp. Sci., n° 78, Springer Verlag, 1979. [Zbl: 0421.68039] [Google Scholar]
  15. 15. M. J. C. GORDON, The Denotational Description of Programming Languages, Springer Verlag, 1979. [Zbl: 0412.68004] [Google Scholar]
  16. 16. J. C. JOHNSON, YACC: Yet Another Compiler Compiler, Bells Labs, juillet 1978. [Google Scholar]
  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. [Google Scholar]
  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. [Zbl: 0587.68021] [Google Scholar]
  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. [Google Scholar]
  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. [Google Scholar]
  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. [Google Scholar]
  22. 22. G. KREISEL et J. L. KRIVINE, Éléments de Logique Mathématique, Dunod, 1967. [MR: 207516] [Zbl: 0146.00703] [Google Scholar]
  23. 23. D. J. KUCK, The Structure of Computers and Computations, John Wiley and Sons, 1977. [Google Scholar]
  24. 24. K. C. LI, A Note on the Vector C Language, A.C.M. SIGPLAN Notices, vol. 21, janvier 1986, p. 49-57. [Google Scholar]
  25. 25. D. MACQUEEN, in Standard ML, Edinburgh Univ. Int. Rep. ECS-LFCS-86-2, mars 1986. [Google Scholar]
  26. 26. J. S. MILLER, MultiScheme, M.I.T. Ph. D. thesis, juin 1987. [Google Scholar]
  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. [Zbl: 0566.68013] [Google Scholar]
  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. [MR: 478750] [Zbl: 0381.03021] [Google Scholar]
  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. [Zbl: 0449.68004] [Google Scholar]
  30. 30. J. T. SCHWARTZ, Ultracomputers, A.C.M. Trans. on Prog. Lang. and Systems, vol. 2, octobre 1980, p. 484-521. [Zbl: 0468.68027] [Google Scholar]
  31. 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] [Google Scholar]
  32. 32. J. E. STOY, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, M.I.T. Press, 1977. [MR: 488969] [Zbl: 0503.68059] [Google Scholar]
  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. [MR: 495144] [Zbl: 0411.68017] [Google Scholar]
  34. 34. N. TAWBI, A. DUMAY et P. FEAUTRIER, PAF : Un Paralléliseur Automatique pour FORTRAN, Rapport M.A.S.I. 185, 1987. [Google Scholar]
  35. 35. J. A. TEST, Multiprocessor Management in the Concentrix Operating System, USENIX Conf., 1986. [Google Scholar]
  36. 36. Thinking Machines Corp., The Essential* Lisp Manual, T.M.C. Tech. Rep. 86.15, avril 1986. [Google Scholar]
  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. [Google Scholar]

Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.

Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.

Initial download of the metrics may take a while.