A parenthesis machine for string manipulation
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 8 (1974) no. R3, pp. 37-46.
@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},
pages = {37--46},
publisher = {Dunod-Gauthier-Villars},
volume = {8},
number = {R3},
year = {1974},
zbl = {0341.68038},
language = {en},
url = {http://www.numdam.org/item/ITA_1974__8_3_37_0/}
}
TY  - JOUR
AU  - Dezani-Ciancaglini, Mariangiola
TI  - A parenthesis machine for string manipulation
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1974
DA  - 1974///
SP  - 37
EP  - 46
VL  - 8
IS  - R3
PB  - Dunod-Gauthier-Villars
PP  - Paris
UR  - http://www.numdam.org/item/ITA_1974__8_3_37_0/
UR  - https://zbmath.org/?q=an%3A0341.68038
LA  - en
ID  - ITA_1974__8_3_37_0
ER  - 
Dezani-Ciancaglini, Mariangiola. A parenthesis machine for string manipulation. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 8 (1974) no. R3, pp. 37-46. http://www.numdam.org/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