article

Free access

A supercompiler system based on the language REFAL

Author:

V. F. TurchinAuthors Info & Claims

ACM SIGPLAN Notices, Volume 14, Issue 2

Pages 46 - 54

https://doi.org/10.1145/954063.954069

Published: 01 February 1979 Publication History

First page of PDF

References

[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. Kompilator s 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. English translation: Neuhold, E. J., Editor. Formal Description of Programming Concepts, North-Holland Publishing Co., 1978, pp. 391--418.

Cited By

Pickering MLöh AWu NSchrijvers T(2020)Staged sums of productsProceedings of the 13th ACM SIGPLAN International Symposium on Haskell10.1145/3406088.3409021(122-135)Online publication date: 27-Aug-2020
https://dl.acm.org/doi/10.1145/3406088.3409021
Faliszewski PSkowron PSlinko ATalmon N(2019)Committee Scoring RulesACM Transactions on Economics and Computation10.1145/32966727:1(1-39)Online publication date: 25-Jan-2019
https://dl.acm.org/doi/10.1145/3296672
Klimov ARomanenko S(2018)Supercompilation: main principles and basic conceptsKeldysh Institute Preprints10.20948/prepr-2018-111(1-36)Online publication date: 2018
https://doi.org/10.20948/prepr-2018-111
Show More Cited By

Recommendations

Experiments with a supercompiler
LFP '82: Proceedings of the 1982 ACM symposium on LISP and functional programming

In this paper we present and discuss some examples of the operation of the first experimental model of a supercompiler. We have chosen our examples to serve as “exhibits” which highlight most important features of the supercompiler and intimate its ...
The concept of a supercompiler
The MIT Press scientific computation series

A supercompiler is a program transformer of a certain type. It traces the possible generalized histories of computation by the original program, and compiles an equivalent program, reducing in the process the redundancy that could be present in the ...
Natural Language, Mixed-initiative Personal Assistant Agents
IMCOM '18: Proceedings of the 12th International Conference on Ubiquitous Information Management and Communication

The increasing popularity and use of personal voice assistant technologies, such as Siri and Google Now, is driving and expanding progress toward the long-term and lofty goal of using artificial intelligence to build human-computer dialog systems ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGPLAN Notices

ACM SIGPLAN Notices Volume 14, Issue 2

February 1979

66 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/954063

Issue’s Table of Contents

Copyright © 1979 Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 February 1979

Published in SIGPLAN Volume 14, Issue 2

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

52
Total Citations
View Citations
246
Total Downloads

Downloads (Last 12 months)36
Downloads (Last 6 weeks)6

Reflects downloads up to 11 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Pickering MLöh AWu NSchrijvers T(2020)Staged sums of productsProceedings of the 13th ACM SIGPLAN International Symposium on Haskell10.1145/3406088.3409021(122-135)Online publication date: 27-Aug-2020
https://dl.acm.org/doi/10.1145/3406088.3409021
Faliszewski PSkowron PSlinko ATalmon N(2019)Committee Scoring RulesACM Transactions on Economics and Computation10.1145/32966727:1(1-39)Online publication date: 25-Jan-2019
https://dl.acm.org/doi/10.1145/3296672
Klimov ARomanenko S(2018)Supercompilation: main principles and basic conceptsKeldysh Institute Preprints10.20948/prepr-2018-111(1-36)Online publication date: 2018
https://doi.org/10.20948/prepr-2018-111
Shi EChan TRieffel ESong D(2017)Distributed Private Data AnalysisACM Transactions on Algorithms10.1145/314654913:4(1-38)Online publication date: 21-Dec-2017
https://dl.acm.org/doi/10.1145/3146549
Adams MFarmer AMagalhães J(2015)Optimizing SYB traversals is easy!Science of Computer Programming10.1016/j.scico.2015.09.003112:P2(170-193)Online publication date: 15-Nov-2015
https://dl.acm.org/doi/10.1016/j.scico.2015.09.003
Mogensen T(2015)Supercompilation for DatatypesPerspectives of System Informatics10.1007/978-3-662-46823-4_19(232-247)Online publication date: 19-Apr-2015
https://doi.org/10.1007/978-3-662-46823-4_19
Adams MFarmer AMagalhães JChin WHage J(2014)Optimizing SYB is easy!Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation10.1145/2543728.2543730(71-82)Online publication date: 11-Jan-2014
https://dl.acm.org/doi/10.1145/2543728.2543730
Klyuchnikov IRomanenko S(2012)Higher-level supercompilation as a metasystem transitionProgramming and Computing Software10.1134/S036176881205002738:5(231-244)Online publication date: 1-Sep-2012
https://dl.acm.org/doi/10.1134/S0361768812050027
Jonsson PNordlander J(2010)Positive Supercompilation for a Higher-Order Call-By-Value LanguageLogical Methods in Computer Science10.2168/LMCS-6(3:5)20106:3Online publication date: 18-Aug-2010
https://doi.org/10.2168/LMCS-6(3:5)2010
Jonsson PNordlander J(2009)Positive supercompilation for a higher order call-by-value languageACM SIGPLAN Notices10.1145/1594834.148091644:1(277-288)Online publication date: 21-Jan-2009
https://dl.acm.org/doi/10.1145/1594834.1480916
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Figures

Tables

Media

View Issue’s Table of Contents