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
5881986
The Phenomenon of Science. A cybernetic approach to human evolution
V Turchin
New York: Columbia University, 1977
5631977
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
426*1971
Slow neutrons
VF Turchin
(No Title), 1965
2061965
The algorithm of generalization in the supercompiler
VF Turchin
D. Bj rner, AP Ershov, and ND Jones, editors, Partial Evaluation and Mixed …, 1988
1491988
Refal-5 Programming Guide & Reference Manual
VF Turchin
New England Publishing Company, 1989
1301989
A supercompiler system based on the language Refal
VF Turchin
ACM SIGPLAN Notices 14 (2), 46-54, 1979
1101979
On the computation of multidimensional integrals by the Monte-Carlo method
VF Turchin
Theory of Probability & Its Applications 16 (4), 720-724, 1971
981971
The Language Refal: The Theory of Compilation and Metasystem Analysis
VF Turchin
Department of Computer Science, Courant Institute of Mathematical Sciences …, 1980
941980
Program transformation with metasystem transitions
VF Turchin
Journal of Functional Programming 3 (03), 283-313, 1993
851993
Principia cybernetica web
F Heylighen, C Joslyn, V Turchin
792005
Statistical regularization of the solution of incorrectly posed problems
VF Turchin, VZ Nozik
Izv. Atmos. Ocean. Phy 5, 14-18, 1969
771969
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
771967
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
651980
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
611996
The inertia of fear and the scientific worldview
VF Turchin
Columbia University Press, 1981
601981
A dialogue on metasystem transition
VF Turchin
Taylor & Francis Group 45 (1-4), 5-57, 1995
581995
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