The concept of a supercompiler VF Turchin ACM Transactions on Programming Languages and Systems (TOPLAS) 8 (3), 292-325, 1986 | 578 | 1986 |
The Phenomenon of Science. A cybernetic approach to human evolution V Turchin New York: Columbia University, 1977 | 558 | 1977 |
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 | 419* | 1971 |
Slow neutrons VF Turchin (No Title), 1965 | 203 | 1965 |
The algorithm of generalization in the supercompiler VF Turchin D. Bj rner, AP Ershov, and ND Jones, editors, Partial Evaluation and Mixed …, 1988 | 145 | 1988 |
Refal-5 Programming Guide & Reference Manual VF Turchin New England Publishing Company, 1989 | 129 | 1989 |
A supercompiler system based on the language Refal VF Turchin ACM SIGPLAN Notices 14 (2), 46-54, 1979 | 110 | 1979 |
The Language Refal: The Theory of Compilation and Metasystem Analysis VF Turchin Department of Computer Science, Courant Institute of Mathematical Sciences …, 1980 | 93 | 1980 |
On the computation of multidimensional integrals by the Monte-Carlo method VF Turchin Theory of Probability & Its Applications 16 (4), 720-724, 1971 | 92 | 1971 |
Program transformation with metasystem transitions VF Turchin Journal of Functional Programming 3 (03), 283-313, 1993 | 82 | 1993 |
Principia cybernetica web F Heylighen, C Joslyn, V Turchin | 79 | 2005 |
Statistical regularization of the solution of incorrectly posed problems VF Turchin, VZ Nozik Izvestiya Academy of Sciences SSSR, Atmospheric and Oceanic Physics, English …, 1969 | 79 | 1969 |
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 | 71 | 1967 |
Experiments with a supercompiler VF Turchin, RM Nirenberg, DV Turchin Proceedings of the 1982 ACM symposium on LISP and functional programming, 47-55, 1982 | 70 | 1982 |
The use of metasystem transition in theorem proving and program optimization V Turchin Automata, Languages and Programming, 645-657, 1980 | 66 | 1980 |
Program transformation by supercompilation VF Turchin Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark …, 2005 | 62 | 2005 |
Metacomputation: Metasystem transitions plus supercompilation V Turchin Partial Evaluation, 481-509, 1996 | 60 | 1996 |
The inertia of fear and the scientific worldview VF Turchin Columbia University Press, 1981 | 60 | 1981 |
A dialogue on metasystem transition VF Turchin Taylor & Francis Group 45 (1-4), 5-57, 1995 | 58 | 1995 |
A constructive interpretation of the full set theory VF Turchin The Journal of Symbolic Logic 52 (1), 172-201, 1987 | 52 | 1987 |