A parenthesis machine for string manipulation
Dezani-Ciancaglini, Mariangiola
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 8 (1974), p. 37-46 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1974-01-01
@article{ITA_1974__8_3_37_0,
     author = {Dezani-Ciancaglini, Mariangiola},
     title = {A parenthesis machine for string manipulation},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {8},
     year = {1974},
     pages = {37-46},
     zbl = {0341.68038},
     language = {en},
     url = {http://dml.mathdoc.fr/item/ITA_1974__8_3_37_0}
}

Dezani-Ciancaglini, Mariangiola. A parenthesis machine for string manipulation. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 8 (1974) pp. 37-46. http://gdmltest.u-ga.fr/item/ITA_1974__8_3_37_0/

[1 ] C. Böhm, On a Family of Turing Machines and the Related Programming Languages, ICC Bulletin, 3, 3 (1964). | MR 172791

[2] C. Böhm and M. Dezani, A CUCH-Machine : the Automatic Treatment of Sound Variables, Int. Journal of Computer and Information Sciences, 1, 2, (1972), pp. 171-186. | Zbl 0277.68026

[3] C. Böhm and M. Dezani, Notes on a CUCH-Machine: the Automatic treatment of Bound Variables, Int. Journal of Computer and Information Sciences, 2, 2 (1973), pp. 157-160. | Zbl 0277.68027

[4] A. Colmeraeur, Total Precedence Relations, Journal of the ACM, 17, 1, (1970), pp. 14-30. | MR 276022 | Zbl 0302.68020

[5] E. W. Dijkstra, An Attempt to Unify the Constituent Concepts of Serial Program Execution, in Symbolic Languages in Data Processing, ed. Gordon and Breach, Rome (1962), pp. 237-252. | MR 178590 | Zbl 0137.10706

[6] J. Mccarthy, Recursive Functions of Symbolic Expression and their Computation by machine : Part I, Comm. ACM, 3, 4, pp. 184-195. | Zbl 0101.10413

[7] P. Wegner, The Vienna Definition Language, ACM Computing Surveys, 4, 1 (1972), pp. 5-62. | MR 309373 | Zbl 0242.68042

[8] N. Wirth and H. Weber, Euler: a Generalization of ALGOL and its Formal Definitions : Part I and II, Comm. ACM, 9,1 (1966), pp. 13-25, 9, 2 (1966), pp. 89-99. | Zbl 0161.36406