Post grammars as a programming language description tool
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 9 (1975) no. R1, pp. 43-72.
@article{ITA_1975__9_1_43_0,
     author = {Feautrier, Paul},
     title = {Post grammars as a programming language description tool},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {43--72},
     publisher = {Dunod-Gauthier-Villars},
     address = {Paris},
     volume = {9},
     number = {R1},
     year = {1975},
     zbl = {0328.68005},
     mrnumber = {478770},
     language = {en},
     url = {http://www.numdam.org/item/ITA_1975__9_1_43_0/}
}
TY  - JOUR
AU  - Feautrier, Paul
TI  - Post grammars as a programming language description tool
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1975
DA  - 1975///
SP  - 43
EP  - 72
VL  - 9
IS  - R1
PB  - Dunod-Gauthier-Villars
PP  - Paris
UR  - http://www.numdam.org/item/ITA_1975__9_1_43_0/
UR  - https://zbmath.org/?q=an%3A0328.68005
UR  - https://www.ams.org/mathscinet-getitem?mr=478770
LA  - en
ID  - ITA_1975__9_1_43_0
ER  - 
Feautrier, Paul. Post grammars as a programming language description tool. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 9 (1975) no. R1, pp. 43-72. http://www.numdam.org/item/ITA_1975__9_1_43_0/

[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.

[4] 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.