A supercompiler system based on the language REFAL

ACM SIGPLAN Notices

Volumn 14, Issue 2, 1979, Pages 46-54

  Turchin, V F ^a  

^a NEW YORK UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0039616229     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/954063.954069     Document Type: Article

References (19)

1. Bazisnyĭ REFAL i yego realizatsiya na vychislitelnykh mashinakh, [Basic REFAL and its implementation on computers]. GOSSTROY SSSR, TsNIPIASS, Moscow, 1977. (The authors are not indicated in the book. In fact they are: Khoroshevsky V.F., Klimov And. V., Klimov Ark. V., Krasovsky A.G., Romanenko S.A., Shchenkov I.B., Turchin V.F.).
2. Turchin, V.F., The Phenomenon of Science. Columbia University Press, New York, 1977.
3. Turchin, V.F., “[A metalanguage for formal description of algorithmic languages],” in: Tsifrovaya Vychislitelnaya Technika i Programmirovanie, Sov. Radio, Moscow, 1966, pp. 116-124.
4. Turchin, V.F., “[The Metaalgorithmic Language]”, Kibernetika, No. 4, 1968, pp. 45-54.
5. Turchin, V.F., Algoritmicheskiy Yazyk Rekursivnykh Funktsiy - REFAL [Recursive Functions Algorithmical Language - REFAL], preprint IPM*, Moscow, 1968.
6. Turchin, V.F. and Serdobolski, V.I. “[The Language REFAL and its Application for Algebraic Manipulation]”, Kibernetika, No. 3, 1969, pp. 58-62.
7. Florentsev, S.N., Oliunin, Yu. V., Turchin, V.F., “[REFAL-interpreter]”, Trudy I Vsesoyuznoi Konfer. po Programmirovaniyu, Kiev, 1968.
8. Florentsev, S.N., Oliunin, Yu. V., Turchin, V.F., Effektivnyi interpretator dlya yazyka REFAL [An efficient interpreter for REFAL]. Preprint, IPM AN SSSR*, 1969.
9. Bobkova, O.F., et al. “[A REFAL interpreter for M-220 computer]” in: Yazyki programmirovaniya i metody ikh realizatsii, Kiev, 1973.
10. Romanenko, S.A. and Turchin, V.F. “[A REFAL-compiler]” in: Trudy 2 Vsesoyuznoi knofer. po programmirovaniyu, Novosibirsk, 1970.
11. Klimov, A.V., Romanenko, S.A., Turchin, V.F. Kompilators yazyka REFAL [A compiler for the language REFAL]. Preprint IPM AN SSSR*, 1972.
12. Turchin, V.F. Programmirovaniye na yazyke REFAL [Programming in the language REFAL]. Preprints Nos 41, 43, 44, 48, and 49 of IPM AN SSSR*, 1971.
13. Turchin, V.F. “[An ALGOL translator written in REFAL]” in: Trudy I Vsesoyuznoi Konfer. po programmirov., Kiev, 1968.
14. Bychkov, S.P., et al. Yazyk SIMULA v monitornoi sisteme DUBNA dlya BESM-6 [The language SIMULA in the Monitoring System DUBNA for BESM-6 computer]. Preprint 118 IPM AN SSSR*, 1975.
15. Budnik, A.P., et al. “[The Basic Wave Functions and Operators Matrices in the Collective Nuclear Model]”. Yadernaya Fizika, 14, No. 2, 1971, p. 304-13.
16. Turchin, V.F. “[Equivalent transformation of Recursive Functions defined in the language REFAL]”. in: Trudy Vsesoyuznogo simposiuma “Teoriya Yazykov i Metody Programmirovaniya”, Alushta. Kiev, 1972, p. 31-42.
17. Turchin, V.F. “[Equivalent transformation of REFAL programs]” Avtomatizirovannaya Sistema Upravleniya Stroitelstvom. Trudy TsNIPIASS, GOSSTROY. Moscow, 1974, pp. 36-68.
18. Ershov, A.P., “[On the essence of translation]”, Programmirovanie, 5, p. 21-39, 1977.
19. Neuhold, E.J., Editor. Formal Description of Programming Concepts, North-Holland Publishing Co., 1978, pp. 391-418.