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]
  2. H. B. CURRY, Foundations of Mathematical Logic, Mac Graw Hill, New York, 1963. [Zbl: 0163.24209]
  3. H. B. CURRY and R. FEYS, Combinatory Logic, vol. I. North Holland, Amsterdam, 1958. [Zbl: 0081.24104]
  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.
  5. R. FLOYD, Assigning Meanings to Programs, Proc. Amer. Math Soc. Symposia on Applied Math, 19 (1966), 19-32. [Zbl: 0189.50204]
  6. C. A. R. HOARE, An Axiomatic Basis for Computer Programming, Comm. Assoc. Comp. Mach, 12 (1969), 576-583. [Zbl: 0179.23105]
  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]
  8. D. E. KNUTH, Semantics of context free languages, Math. Syst. Th., 2 (1968), 127-145. [Zbl: 0169.01401]
  9. H. F. LEDGARD, Production Systems : or can we do better than BNF, Comm. Assoc. Comp. Mach, 17 (1974), 94-102. [Zbl: 0273.68018]
  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]
  11. R. MILNER, Implementation and Applications of Scott's LCF. Proc. Conf. on Proving Assertions about Programs, New Mexico State U, 1972, 1-6.
  12. L. NOLIN, Formalisation des notions de machine et de programme, Paris, Gauthier Villard, 1968. [Zbl: 0309.68004]
  13. E. POST, Formal Reduction of the general combinatorial decision problem, Amer. J. Math, 65 (1943), 197-215. [Zbl: 0063.06327]
  14. P. C. ROSENBLOOM, The Elements of Mathematical Logic, Dover, New York, 1950. [Zbl: 0041.14804]
  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.

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.