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
5771986
The Phenomenon of Science. A cybernetic approach to human evolution
V Turchin
New York: Columbia University, 1977
5541977
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
415*1971
Slow neutrons
VF Turchin
(No Title), 1965
2031965
The algorithm of generalization in the supercompiler
VF Turchin
D. Bj rner, AP Ershov, and ND Jones, editors, Partial Evaluation and Mixed …, 1988
1451988
Refal-5 Programming Guide & Reference Manual
VF Turchin
New England Publishing Company, 1989
1291989
A supercompiler system based on the language Refal
VF Turchin
ACM SIGPLAN Notices 14 (2), 46-54, 1979
1101979
The Language Refal: The Theory of Compilation and Metasystem Analysis
VF Turchin
Department of Computer Science, Courant Institute of Mathematical Sciences …, 1980
931980
On the computation of multidimensional integrals by the Monte-Carlo method
VF Turchin
Theory of Probability & Its Applications 16 (4), 720-724, 1971
921971
Program transformation with metasystem transitions
VF Turchin
Journal of Functional Programming 3 (03), 283-313, 1993
821993
Principia cybernetica web
F Heylighen, C Joslyn, V Turchin
792005
Statistical regularization of the solution of incorrectly posed problems
VF Turchin, VZ Nozik
Izvestiya Academy of Sciences SSSR, Atmospheric and Oceanic Physics, English …, 1969
791969
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
701967
Experiments with a supercompiler
VF Turchin, RM Nirenberg, DV Turchin
Proceedings of the 1982 ACM symposium on LISP and functional programming, 47-55, 1982
691982
The use of metasystem transition in theorem proving and program optimization
V Turchin
Automata, Languages and Programming, 645-657, 1980
661980
Program transformation by supercompilation
VF Turchin
Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark …, 2005
622005
Metacomputation: Metasystem transitions plus supercompilation
V Turchin
Partial Evaluation, 481-509, 1996
601996
The inertia of fear and the scientific worldview
VF Turchin
Columbia University Press, 1981
581981
A dialogue on metasystem transition
VF Turchin
Taylor & Francis Group 45 (1-4), 5-57, 1995
571995
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