EDP Sciences logo
Subscriber Authentication Point
Search
Menu
All issues Volume 9 / No R1 (1975) R.A.I.R.O. Informatique théorique, 9 R1 (1975) 43-72 References
Free Access
Issue
R.A.I.R.O. Informatique théorique
Volume 9, Number R1, 1975
Page(s) 43 - 72
DOI https://doi.org/10.1051/ita/197509R100431
Published online 01 February 2017
  1. R. M. BURSTALL, Some techniques for proving correctness of programs which alter data structures, Machine Intelligence, 7 (1972), 23-50. [Zbl: 0259.68009] [Google Scholar]
  2. H. B. CURRY, Foundations of Mathematical Logic, Mac Graw Hill, New York, 1963. [Zbl: 0163.24209] [Google Scholar]
  3. H. B. CURRY and R. FEYS, Combinatory Logic, vol. I. North Holland, Amsterdam, 1958. [Zbl: 0081.24104] [Google Scholar]
  4. P. FEAUTRIER, Introduction aux langages de Post en tant qu'outil de formalisation. Publication de l'Institut de Programmation de l'Université Paris VI, n° 74-7, Paris, 1974. [Google Scholar]
  5. R. FLOYD, Assigning Meanings to Programs, Proc. Amer. Math Soc. Symposia on Applied Math, 19 (1966), 19-32. [Zbl: 0189.50204] [Google Scholar]
  6. C. A. R. HOARE, An Axiomatic Basis for Computer Programming, Comm. Assoc. Comp. Mach, 12 (1969), 576-583. [Zbl: 0179.23105] [Google Scholar]
  7. C. A. R. HOARE and N. WIRTH, An Axiomatic Definition of the Programming language Pascal, Acta Informatica, 2 (1973), 335-355. [Zbl: 0261.68040] [Google Scholar]
  8. D. E. KNUTH, Semantics of context free languages, Math. Syst. Th., 2 (1968), 127-145. [Zbl: 0169.01401] [Google Scholar]
  9. H. F. LEDGARD, Production Systems : or can we do better than BNF, Comm. Assoc. Comp. Mach, 17 (1974), 94-102. [Zbl: 0273.68018] [Google Scholar]
  10. P. LUCAS and K. WALK, On the formal Description of PL/I, Ann. Rev. on Automatic Programming, 6 (1969), 105-182. [Zbl: 0217.53502] [Google Scholar]
  11. R. MILNER, Implementation and Applications of Scott's LCF. Proc. Conf. on Proving Assertions about Programs, New Mexico State U, 1972, 1-6. [Google Scholar]
  12. L. NOLIN, Formalisation des notions de machine et de programme, Paris, Gauthier Villard, 1968. [Zbl: 0309.68004] [Google Scholar]
  13. E. POST, Formal Reduction of the general combinatorial decision problem, Amer. J. Math, 65 (1943), 197-215. [Zbl: 0063.06327] [Google Scholar]
  14. P. C. ROSENBLOOM, The Elements of Mathematical Logic, Dover, New York, 1950. [Zbl: 0041.14804] [Google Scholar]
  15. R. J. WALDINGER, and R. C. T. LEE, PROW, a step toward automatic programwriting, Proc. Int. J. Conf. on Artificial Intelligence, N. Y., 1969, 241-252. [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.