The concept of a supercompiler VF Turchin ACM Transactions on Programming Languages and Systems (TOPLAS) 8 (3), 292-325, 1986 | 588 | 1986 |
The Phenomenon of Science. A cybernetic approach to human evolution V Turchin New York: Columbia University, 1977 | 563 | 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 | 426* | 1971 |
Slow neutrons VF Turchin (No Title), 1965 | 206 | 1965 |
The algorithm of generalization in the supercompiler VF Turchin D. Bj rner, AP Ershov, and ND Jones, editors, Partial Evaluation and Mixed …, 1988 | 149 | 1988 |
Refal-5 Programming Guide & Reference Manual VF Turchin New England Publishing Company, 1989 | 130 | 1989 |
A supercompiler system based on the language Refal VF Turchin ACM SIGPLAN Notices 14 (2), 46-54, 1979 | 110 | 1979 |
On the computation of multidimensional integrals by the Monte-Carlo method VF Turchin Theory of Probability & Its Applications 16 (4), 720-724, 1971 | 98 | 1971 |
The Language Refal: The Theory of Compilation and Metasystem Analysis VF Turchin Department of Computer Science, Courant Institute of Mathematical Sciences …, 1980 | 94 | 1980 |
Program transformation with metasystem transitions VF Turchin Journal of Functional Programming 3 (03), 283-313, 1993 | 85 | 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 Izv. Atmos. Ocean. Phy 5, 14-18, 1969 | 77 | 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 | 77 | 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 | 69 | 1982 |
The use of metasystem transition in theorem proving and program optimization V Turchin Automata, Languages and Programming, 645-657, 1980 | 65 | 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 | 61 | 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 |