Follow
Valentin Turchin
Valentin Turchin
Emeritus Professor of Computer Science, City College, City University of New York
Verified email at vub.ac.be - Homepage
Title
Cited by
Cited by
Year
The concept of a supercompiler
VF Turchin
ACM Transactions on Programming Languages and Systems (TOPLAS) 8 (3), 292-325, 1986
5721986
The Phenomenon of Science. A cybernetic approach to human evolution
V Turchin
New York: Columbia University, 1977
5131977
The use of mathematical-statistics methods in the solution of incorrectly posed problems
VF Turchin, VP Kozlov, MS Malkevich
Soviet Physics Uspekhi 13 (6), 681, 1971
395*1971
Slow neutrons
VF Turchin
Israel Program for Scientific Translations, 1965
2181965
Inelastic Scattering of Neutrons in Solids and Liquids
VF Turchin
International Atomic Energy Agency, Vienna, 259, 1961
182*1961
The algorithm of generalization in the supercompiler
VF Turchin
D. Bj rner, AP Ershov, and ND Jones, editors, Partial Evaluation and Mixed …, 1988
1461988
Refal-5 Programming Guide & Reference Manual
VF Turchin
New England Publishing Company, 1989
1241989
A supercompiler system based on the language Refal
VF Turchin
ACM SIGPLAN Notices 14 (2), 46-54, 1979
1121979
The Language Refal: The Theory of Compilation and Metasystem Analysis
VF Turchin
Department of Computer Science, Courant Institute of Mathematical Sciences …, 1980
931980
Program transformation with metasystem transitions
VF Turchin
Journal of Functional Programming 3 (03), 283-313, 1993
851993
On the computation of multidimensional integrals by the Monte-Carlo method
VF Turchin
Theory of Probability & Its Applications 16 (4), 720-724, 1971
841971
Principia cybernetica web
F Heylighen, C Joslyn, V Turchin
742005
Experiments with a supercompiler
VF Turchin, RM Nirenberg, DV Turchin
Proceedings of the 1982 ACM symposium on LISP and functional programming, 47-55, 1982
671982
Statistical regularization of the solution of incorrectly posed problems
VF Turchin, VZ Nozik
Izv. Atmos. Ocean. Phy 5, 14-18, 1969
661969
Solution of the Fredholm equation of the first kind in a statistical ensemble of smooth functions
VF Turchin
USSR Computational Mathematics and Mathematical Physics 7 (6), 79-96, 1967
631967
Program transformation by supercompilation
VF Turchin
Programs as Data Objects, 257-281, 1986
621986
The use of metasystem transition in theorem proving and program optimization
V Turchin
Automata, Languages and Programming, 645-657, 1980
621980
Metacomputation: Metasystem transitions plus supercompilation
V Turchin
Partial Evaluation, 481-509, 1996
611996
The inertia of fear and the scientific worldview
VF Turchin
Columbia University Press, 1981
541981
A constructive interpretation of the full set theory
VF Turchin
The Journal of Symbolic Logic 52 (1), 172-201, 1987
521987
The system can't perform the operation now. Try again later.
Articles 1–20