Valentin F. Turchin

	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		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		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

Coauthor Index

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]

Colors in the list of coauthors