The use of metasystem transition in theorem proving and program optimization

  • Valentin F. Turchin
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 85)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Kleene, S.C., Mathematical Logic, J.Wiley & Sons, 1967.Google Scholar
  2. 2.
    Turchin, V.F., A supercompiler system based on the language Refal, SIGPLAN Notices, 14, No 2, pp. 46–54, Febr. 1979.Google Scholar
  3. 3.
    Turchin, V.F., The Language Refal — The Theory of Compilation and Metasystem Analysis, Courant Computer Science Report #20, February 1980, New York University, 1980.Google Scholar
  4. 4.
    Turchin, V.F., Semantic definitions in Refal and automatic production of compilers, Proc. of the Workshop on Semantics-Directed Compiler Generation, Aarhus University, Denmark, January 14–18 1980, Springer Verlag, 1980.Google Scholar
  5. 5.
    Turchin, V.F., The Phenomenon of Science, Columbia Univ. Press, New York, 1977.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • Valentin F. Turchin
    • 1
  1. 1.The City CollegeThe City University of New YorkUSA

Personalised recommendations