zbMATH — the first resource for mathematics

PANON-1B: A programming language for symbol manipulation. (English) Zbl 0221.68031

68N15 Theory of programming languages
Full Text: DOI
[1] A. A. Markov “Theory of Algorithms{” (Russian), Akademiya Nauk SSR, 1954 (Engl. Transl.: Israel Program for Scientific Translation, Jernsalem, 1962).} · Zbl 0056.24901
[2] A. A. Markov, “The theory of Algorithms{” (Russian), Trudy Math. Inst. Steklov,39 (1951), 176–189. English Translation: American Mathematical Society 1958, pp. 1–14).}
[3] A. Caracciolo di Forino–N. Wolkenstein, “On a class of Programming Languages for Symbol Manipulation based on Extended Markov Algorithms{”, Pisa, Felici, 1963.} · Zbl 0119.13104
[4] A. Caracciolo di Forino, “Generalized Markov Algorithms and Automata{”–Ravello, NATO Spring School on “Antomata Theory{”, June 1964. Academic Press, New York.}} · Zbl 0202.29503
[5] R. Sprugnoli, “Algoritmi Generalizzati di Markov ed il Calcolo delle funzioni ricorsive delle espressioni simboliche{”. Thesis (1965).–Internal Report C.S.C.E.n. 13.}
[6] O. Menchi, “Su alcune applicazioni degli Algoritmi Generalizzati di Markov al calcolo letterale e ad alcuni problemi di traduzione{”. Thesis (1965)–Internal Report C.S.C.E. no 15.}
[7] E. T. Irons, “The Structure and Use of Syntax Directed Compilers{”, in Annual, Review in Automatic Programming,3, Pergamon Press, Oxford 1963, 207–227.}
[8] A. J. Perlis, “An extension to Algol for Manipulating Formulae{” Comm. ACM,7 (1964), 127–130.} · Zbl 0143.18602
[9] A. Newell, J. C. Shaw, H. A. Simom, “Report on a General Problem-Solving Program{”, Proc. Paris 1959, pp. 256–264, UNESCO, Paris 1960.}
[10] A. Caracciolo di Forino, “On a Research Project in the Field of Languages for Processor Construction{”, Proc. IFIP Congress 1962, 514–515.} · Zbl 0139.12202
[11] A. van Wijngaarden,Generalized ALGOL. Symbolic Languages in Data Processing{”. Proc. Symposium Rome, 1962, pp. 409–419.}
[12] J. W. De Bakker, “Formal Definition of Algoritmic Languages, with an application to the definition of Algol 60{”, Report MR 74, May 1965, Stichting Mathematisch Centrum–Amsterdam.}
[13] K. Cohen, J. H. Wegstein, “AXLE: An axiomatic Language for String Transformations{”, Comm. ACM8 (1965), 657–661.} · Zbl 0196.52301
[14] Y. Bar-Hillel, M. Perles, E. Shamir, “On Formal Properties of Simple Phrase Structure Grammars{”. Tech. Report n0 4, Office Naval Research, Information System Branch, 1960 (Pubbl. also in Zeitschrift für Phonetik, Sprachwissenshaft und Kommunicationsforschung,14 (1961), 143–172).} · Zbl 0106.34501
[15] C. N. Mooers, TRAC,A Procedure Describine Language for the Reactive Typewriter. Comm. ACM.9 (1966) 215–219.
[16] C. Strachey,A General Purpose Macrogenerator, Comput. J.8 (1966), 225–541. · Zbl 0133.10104
[17] C. Christensen,Examples of Symbol Manipulation in the Ambit Programming Language, Proc. 20th Nat. Conf. ACM Aug. 1965, 247–261.
[18] M. Davis,Computability and Unsolvability, McGraw Hill, New York, 1958.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.