Search the dblp DataBase
Valentin F. Turchin :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Valentin F. Turchin Semantic definitions in REFAL and the automatic production of compilers. [Citation Graph (0, 0)][DBLP ] Semantics-Directed Compiler Generation, 1980, pp:441-474 [Conf ] Andrei P. Nemytykh , Victoria A. Pinchuk , Valentin F. Turchin A Self-Applicable Supercompiler. [Citation Graph (0, 0)][DBLP ] Dagstuhl Seminar on Partial Evaluation, 1996, pp:322-337 [Conf ] Valentin F. Turchin Metacomputation: Metasystem Transitions plus Supercompilation. [Citation Graph (0, 0)][DBLP ] Dagstuhl Seminar on Partial Evaluation, 1996, pp:481-509 [Conf ] Valentin F. Turchin Supercompilation: Techniques and Results. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 1996, pp:227-248 [Conf ] Valentin F. Turchin The Use of Metasystem Transition in Theorem Proving and Program Optimization. [Citation Graph (0, 0)][DBLP ] ICALP, 1980, pp:645-657 [Conf ] Robert Glück , Valentin F. Turchin Application of Metasystem Transition to Function Inversion and Transformation. [Citation Graph (0, 0)][DBLP ] ISSAC, 1990, pp:286-287 [Conf ] Valentin F. Turchin , Robert M. Nirenberg , Dimitri V. Turchin Experiments with a Supercompiler. [Citation Graph (0, 0)][DBLP ] Symposium on LISP and Functional Programming, 1982, pp:47-55 [Conf ] Valentin F. Turchin Program transformation by supercompilation. [Citation Graph (0, 0)][DBLP ] Programs as Data Objects, 1985, pp:257-281 [Conf ] Valentin F. Turchin Program Transformation with Metasystem Transitions. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 1993, v:3, n:3, pp:283-313 [Journal ] Valentin F. Turchin A Constructive Interpretation of the Full Set Theory. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1987, v:52, n:1, pp:172-201 [Journal ] Valentin F. Turchin The Concept of a Supercompiler. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1986, v:8, n:3, pp:292-325 [Journal ] Search in 0.001secs, Finished in 0.002secs