Valentin F. Turchin

12 papers A* 1B 1Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
1996 — conf
A Self-Applicable Supercompiler.
Dagstuhl Seminar on Partial Evaluation
Andrei P. Nemytykh, Victoria A. Pinchuk, Valentin F. Turchin
1996 — conf
Metacomputation: Metasystem Transitions plus Supercompilation.
Dagstuhl Seminar on Partial Evaluation
Valentin F. Turchin
1996 — conf
Supercompilation: Techniques and Results.
Ershov Memorial Conference
Valentin F. Turchin
1993 J jnl
Program Transformation with Metasystem Transitions.
J. Funct. Program.
Valentin F. Turchin
1990 B conf
Application of Metasystem Transition to Function Inversion and Transformation.
ISSAC
Robert Glück, Valentin F. Turchin
1987 J jnl
A Constructive Interpretation of the Full Set Theory.
J. Symb. Log.
Valentin F. Turchin
1986 J jnl
The Concept of a Supercompiler.
ACM Trans. Program. Lang. Syst.
Valentin F. Turchin
1985 — conf
Program transformation by supercompilation.
Programs as Data Objects
Valentin F. Turchin
1982 — conf
Experiments with a Supercompiler.
Symposium on LISP and Functional Programming
Valentin F. Turchin, Robert M. Nirenberg, Dimitri V. Turchin
1980 — conf
Semantic definitions in REFAL and the automatic production of compilers.
Semantics-Directed Compiler Generation
Valentin F. Turchin
1980 A* conf
The Use of Metasystem Transition in Theorem Proving and Program Optimization.
ICALP
Valentin F. Turchin
1979 J jnl
A supercompiler system based on the language REFAL.
ACM SIGPLAN Notices
Valentin F. Turchin