EDP Sciences logo
Subscriber Authentication Point
Search
Menu
All issues Volume 10 / No R2 (1976) R.A.I.R.O. Informatique théorique, 10 R2 (1976) 5-32 References
Free Access
Issue
R.A.I.R.O. Informatique théorique
Volume 10, Number R2, 1976
Page(s) 5 - 32
DOI https://doi.org/10.1051/ita/197610R200051
Published online 01 February 2017
  1. 1. J. W. DE BAKKER, Fixed Point in Programming Theory, Lecture Notes for the Advanced Course on the Foundations of Computer Science, Amsterdam, 1974. [Google Scholar]
  2. 2. J. W. DE BAKKER, Formal Definition of Programming Language, Mathematical Center Tracts, Mathematisch Centrum Amsterdam, vol. 16, 1967. [Zbl: 0203.49204] [Google Scholar]
  3. 3. A. BLIKLE, An Algebraic Approach to Semantics of Programs, Advanced Course on Semantics of Programming Languages, Saarbrücken, 1974. [Zbl: 0296.68016] [Google Scholar]
  4. 4. N. CHOMSKY, Aspects of the Theory of Syntax, The M.I.T. Press, Cambridge, Mass., 1965. [Google Scholar]
  5. 5. J. P. FINANCE, Contribution à la Formalisation de la Sémantique d'un Langage de Programmation. Application à Algol 68, Thèse de 3e Cycle, Université de Nancy 1, 1974. [Google Scholar]
  6. 6. GROUPE ALGOL DE L'AFCET, Définition du Langage Algorithmique Algol 68(traduction), Hermann, 1972. [Google Scholar]
  7. 7. C. A. R. HOARE, An Axiomatic Basis for Computer Programming, Comm. A.C. M., 12, 1969, p. 576-583. [Zbl: 0179.23105] [Google Scholar]
  8. 8. C. A. R. HOARE, N. WIRTH, An Axiomatic Definition of the Programming Language Pascal, Acta Informatica, 2, 1973, p. 335-356. [MR: 421129] [Zbl: 0261.68040] [Google Scholar]
  9. 9. C. A. R. HOARE, P. E. LAUER, Consistent and Complementary Formal Theories of the Semantics of Programming Language, Acta Informatica, 3 1974, p. 135-153 [MR: 464644] [Zbl: 0264.68006] [Google Scholar]
  10. 10. D. E. KNUTH, Semantics of Context Free Languages, Math. Systems Theory, 2, 1968, p. 127-145. [MR: 1555478] [Zbl: 0169.01401] [Google Scholar]
  11. 11. G. KREISEL, J. L. KRIVINE, Éléments de Logique Mathématique, Théorie des Modèles, Dunod, Paris, 1966. [MR: 207516] [Zbl: 0146.00703] [Google Scholar]
  12. 12. P. J. LANDIN, A Correspondence Between Algol 60 and Church's Lambda Notation, Comm. A. C. M., 8, 1965, p. 89-101. [MR: 172491] [Zbl: 0134.33403] [Google Scholar]
  13. 13. P. LUCAS, P. LAUER, H. STIGLEITNER, Method and Notation for the Formal Definition of Programming Languages, IBM Laboratory Vienna, Technical Report TR 25.087, 1968. [Google Scholar]
  14. 14. J. MCCARTHY, Towards a Mathematical Science of Computation, Information Processing (POPPLEWELL ed.), Proceedings of I.F.I.P. Congress 1962, North-Holland, Amsterdam, 1963, p. 21-28. [Google Scholar]
  15. 15. Z. MANNA, The Correctness of Programs, J. Comp. Syst. Sci., 3, 1969, p. 119-127. [MR: 278572] [Zbl: 0285.68011] [Google Scholar]
  16. 16. C. PAIR, Formalization of the Notions of Data, Information and Information Structure, in Data Base Management Systems, KLIMBIE-KOFFEMAN (ed.), North-Holland, 1974, p. 149-167. [Google Scholar]
  17. 17.C. PAIR, Calculs, ensembles de calculs, équivalence de programme, in Symposia Mathematica, Rome, Academic Press, XV, 1975, p. 35-53. [MR: 386332] [Zbl: 0336.68034] [Google Scholar]
  18. 18. C. PAIR, A. QUERE, Définition et Études des Bilangages Réguliers, Information and Control, 13, 1968, p. 565-593. [MR: 250803] [Zbl: 0181.01603] [Google Scholar]
  19. 19. J. L. REMY, Structure d'Information, Formalisation des Notions d'Accès et de Modification d'une Donnée, Thèse de 3e Cycle, Université de Nancy 1, 1974. [Google Scholar]
  20. 20.D. SCOTT, Continuous Lattices, Oxford Mono PRG-7, Oxford University, 1972. [MR: 404073] [Google Scholar]
  21. 21. J. R. SHOENFIELD, Mathematical Logic, Addison-Wesley, 1967. [MR: 225631] [Zbl: 0155.01102] [Google Scholar]
  22. 22.C. STRACHEY, D. SCOTT, Oxford Mono PRG-6, Oxford University, 1971. [Google Scholar]
  23. 23. A. VAN WINJGAARDEN (ed.),B. J. MAILLOUX, J. E. L. PECK, C. H. A. KOSTER, Report on the Algorithmic Language Algol 68, Mathematisch Centrum, Amsterdam MR 101, 1969. [Zbl: 0185.43104] [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.