Travelled to:1 × Denmark
1 × USA
Collaborated with:∅ R.M.Nirenberg D.V.Turchin
Talks about:supercompil (1) metasystem (1) transit (1) theorem (1) program (1) product (1) definit (1) automat (1) semant (1) experi (1)
Person: Valentin F. Turchin
DBLP: Turchin:Valentin_F=
Contributed to:
1982
1980
1980Wrote 3 papers:
- LFP-1982-TurchinNT
- Experiments with a Supercompiler (VFT, RMN, DVT), pp. 47–55.
- ICALP-1980-Turchin #optimisation #proving #theorem proving #using
- The Use of Metasystem Transition in Theorem Proving and Program Optimization (VFT), pp. 645–657.
- SDCG-1980-Turchin #automation #compilation #semantics
- Semantic definitions in REFAL and the automatic production of compilers (VFT), pp. 441–474.