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
5401986
The Phenomenon of Science. A cybernetic approach to human evolution
V Turchin
New York: Columbia University, 1977
4871977
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
2541971
Inelastic Scattering of Neutrons in Solids and Liquids
VF Turchin
International Atomic Energy Agency, Vienna, 259, 1961
217*1961
Slow neutrons
VF Turchin
Israel Program for Scientific Translations, 1965
199*1965
Use of Methods of Mathematical Statistics for Solving Incorrectly-Posed Problems
VF Turchin, VP Kozlov, MS Malkevich
Progress of Phys. Sc 102 (3), 345-386, 1970
1471970
The algorithm of generalization in the supercompiler
VF Turchin
D. Bj rner, AP Ershov, and ND Jones, editors, Partial Evaluation and Mixed …, 1988
1411988
Refal-5 Programming Guide & Reference Manual
VF Turchin
New England Publishing Company, 1989
1231989
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
911980
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
732005
On the computation of multidimensional integrals by the monte-carlo method
VF Turchin
Theory of Probability & Its Applications 16 (4), 720-724, 1971
731971
Statistical regularization of the solution of incorrectly posed problems
VF Turchin, VZ Nozik
Izv. Atmos. Ocean. Phy 5, 14-18, 1969
691969
Experiments with a supercompiler
VF Turchin, RM Nirenberg, DV Turchin
Proceedings of the 1982 ACM symposium on LISP and functional programming, 47-55, 1982
661982
The use of metasystem transition in theorem proving and program optimization
V Turchin
Automata, Languages and Programming, 645-657, 1980
651980
Metacomputation: Metasystem transitions plus supercompilation
V Turchin
Partial Evaluation, 481-509, 1996
621996
Program transformation by supercompilation
VF Turchin
Programs as Data Objects, 257-281, 1986
591986
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
551967
A constructive interpretation of the full set theory
VF Turchin
The Journal of Symbolic Logic 52 (1), 172-201, 1987
531987
The system can't perform the operation now. Try again later.
Articles 1–20