@article{ITA_1981__15_3_253_0, author = {Aguzzi, Gianni}, title = {The theory of invertible algorithms}, journal = {RAIRO. Informatique th\'eorique}, pages = {253--279}, publisher = {EDP-Sciences}, volume = {15}, number = {3}, year = {1981}, mrnumber = {630065}, zbl = {0476.68027}, language = {en}, url = {http://www.numdam.org/item/ITA_1981__15_3_253_0/} }
Aguzzi, Gianni. The theory of invertible algorithms. RAIRO. Informatique théorique, Tome 15 (1981) no. 3, pp. 253-279. http://www.numdam.org/item/ITA_1981__15_3_253_0/
1. The Theory of Invertible Algorithms, Sem. Ist. Mat. Appl. Fac. Ing., Firenze, 1980.
,2. Towards an Automatic Generation of Interpreters, in Lecture Notes in Computer Science, vol.1, 1973, pp. 94-103, Springer-Verlag, Berlin. | MR | Zbl
, , , and ,3. An APL Implementation of an Interpreter Writing System, in APL Congress 73, 1973, pp. 9-15, North-Holland Pub. Co., Amsterdam. | Zbl
, , , and ,4. Tree Structures Handling by APS, in Lecture Notes in Computer Science, Vol. 19, 1974, pp. 120-129, Springer-Verlag, Berlin. | MR | Zbl
, , , and ,5. An Algorithmic Approach to the Semantics of Programming Languages, in Automata, Languages and Programming, M. NIVAT, Ed., 1973, pp. 147-166, North-Holland Pub. Co., Amsterdam. | MR | Zbl
, and ,6. Generalized Markov Algorithms and Automata, in Automata Theory, CAIANIELLO, Ed., Academic Press, New York. | Zbl
,7. Panon 1B: a Programming Language for Symbol Manipulation, Calcolo, 1966, pp. 245-255. | Zbl
, and ,8. On a Class of Normal Markov Algorithms, A.M.S. Translations, 2, Vol. 48, 1965, pp. 1-35. | Zbl
,9. Snobol, a String Manipulation Language, J. Assoc. Comp. Mach., vol. 11, 1964, pp. 21-30 | Zbl
, and ,10. A view of Programming Languages, Addison Wesley, 1970. | MR | Zbl
and ,11. The Markox Algonthm as Language Parser: Linear Bounds, J. Comp. System Sc., Vol. 6, 1972, pp. 465-478. | Zbl
,12. Improvements in the Execution of Markov Algorithms, Boll. Un. Mat. Italiana, Vol. 11, (4), 1975, pp. 473-489. | MR | Zbl
, , and ,13. The Compilation of Pointer Markov Algorithms, in International Computing Symposium 1975, E. GELENBE and D. POTIER, Eds., 1975, pp. 129-135, North-Holland Pub. Co., Amsterdam. | MR | Zbl
and ,14. The Theory of Algortthms, Israel Program for Scientific Translations, Jérusalem, 1962. | MR
,15. Propriétés de Complexité pour une Famille d'Algorithmes de Markov, R.A.I.R.O. informatique théorique, Vol. 12, (1), 1978, pp. 15-32. | Numdam | MR | Zbl
,