A parenthesis machine for string manipulation

Mariangiola Dezani-Ciancaglini

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1974)

  • Volume: 8, Issue: R3, page 37-46
  • ISSN: 0988-3754

How to cite

top

Dezani-Ciancaglini, Mariangiola. "A parenthesis machine for string manipulation." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 8.R3 (1974): 37-46. <http://eudml.org/doc/92009>.

@article{Dezani1974,
author = {Dezani-Ciancaglini, Mariangiola},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
language = {eng},
number = {R3},
pages = {37-46},
publisher = {EDP-Sciences},
title = {A parenthesis machine for string manipulation},
url = {http://eudml.org/doc/92009},
volume = {8},
year = {1974},
}

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
PB - EDP-Sciences
VL - 8
IS - R3
SP - 37
EP - 46
LA - eng
UR - http://eudml.org/doc/92009
ER -

References

top
  1. [1 ] C. BÖHM, On a Family of Turing Machines and the Related Programming Languages, ICC Bulletin, 3, 3 (1964). MR172791
  2. [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. Zbl0277.68026
  3. [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. Zbl0277.68027
  4. [4] A. COLMERAEUR, Total Precedence Relations, Journal of the ACM, 17, 1, (1970), pp. 14-30. Zbl0302.68020MR276022
  5. [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. Zbl0137.10706MR178590
  6. [6] J. MCCARTHY, Recursive Functions of Symbolic Expression and their Computation by machine : Part I, Comm. ACM, 3, 4, pp. 184-195. Zbl0101.10413
  7. [7] P. WEGNER, The Vienna Definition Language, ACM Computing Surveys, 4, 1 (1972), pp. 5-62. Zbl0242.68042MR309373
  8. [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. Zbl0161.36406

NotesEmbed ?

top

You must be logged in to post comments.