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.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.