| |
| 1996 | ||
|---|---|---|
| 11 | Andrei P. Nemytykh, Victoria A. Pinchuk, Valentin F. Turchin: A Self-Applicable Supercompiler. Dagstuhl Seminar on Partial Evaluation 1996: 322-337 | |
| 10 | Valentin F. Turchin: Metacomputation: Metasystem Transitions plus Supercompilation. Dagstuhl Seminar on Partial Evaluation 1996: 481-509 | |
| 9 | Valentin F. Turchin: Supercompilation: Techniques and Results. Ershov Memorial Conference 1996: 227-248 | |
| 1993 | ||
| 8 | Valentin F. Turchin: Program Transformation with Metasystem Transitions. J. Funct. Program. 3(3): 283-313 (1993) | |
| 1990 | ||
| 7 | EE | Robert Glück, Valentin F. Turchin: Application of Metasystem Transition to Function Inversion and Transformation. ISSAC 1990: 286-287 |
| 1987 | ||
| 6 | Valentin F. Turchin: A Constructive Interpretation of the Full Set Theory. J. Symb. Log. 52(1): 172-201 (1987) | |
| 1986 | ||
| 5 | EE | Valentin F. Turchin: The Concept of a Supercompiler. ACM Trans. Program. Lang. Syst. 8(3): 292-325 (1986) |
| 1985 | ||
| 4 | Valentin F. Turchin: Program transformation by supercompilation. Programs as Data Objects 1985: 257-281 | |
| 1982 | ||
| 3 | Valentin F. Turchin, Robert M. Nirenberg, Dimitri V. Turchin: Experiments with a Supercompiler. Symposium on LISP and Functional Programming 1982: 47-55 | |
| 1980 | ||
| 2 | Valentin F. Turchin: The Use of Metasystem Transition in Theorem Proving and Program Optimization. ICALP 1980: 645-657 | |
| 1 | Valentin F. Turchin: Semantic definitions in REFAL and the automatic production of compilers. Semantics-Directed Compiler Generation 1980: 441-474 | |
| 1 | Robert Glück | [7] |
| 2 | Andrei P. Nemytykh | [11] |
| 3 | Robert M. Nirenberg | [3] |
| 4 | Victoria A. Pinchuk | [11] |
| 5 | Dimitri V. Turchin | [3] |