Valentin F. Turchin

According to our database, Valentin F. Turchin authored at least 12 papers between 1979 and 1996.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1996

Supercompilation: Techniques and Results.

Valentin F. Turchin

Proceedings of the Perspectives of System Informatics, 1996

Metacomputation: Metasystem Transitions plus Supercompilation.

Valentin F. Turchin

Proceedings of the Partial Evaluation, International Seminar, 1996

A Self-Applicable Supercompiler.

Andrei P. Nemytykh, Victoria A. Pinchuk, Valentin F. Turchin

Proceedings of the Partial Evaluation, International Seminar, 1996

1993

Program Transformation with Metasystem Transitions.

Valentin F. Turchin

J. Funct. Program., 1993

1990

Application of Metasystem Transition to Function Inversion and Transformation.

Robert Glück, Valentin F. Turchin

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1990

1987

A Constructive Interpretation of the Full Set Theory.

Valentin F. Turchin

J. Symb. Log., 1987

1986

The Concept of a Supercompiler.

Valentin F. Turchin

ACM Trans. Program. Lang. Syst., 1986

1985

Program transformation by supercompilation.

Valentin F. Turchin

Proceedings of the Programs as Data Objects, 1985

1982

Experiments with a Supercompiler.

Valentin F. Turchin, Robert M. Nirenberg, Dimitri V. Turchin

Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, 1982

1980

The Use of Metasystem Transition in Theorem Proving and Program Optimization.

Valentin F. Turchin

Proceedings of the Automata, 1980

Semantic definitions in REFAL and the automatic production of compilers.

Valentin F. Turchin

Proceedings of the Semantics-Directed Compiler Generation, 1980

1979

A supercompiler system based on the language REFAL.

Valentin F. Turchin

ACM SIGPLAN Notices, 1979