Skip to main content
SpringerLink
Log in
Book cover

International Colloquium on Automata, Languages, and Programming

ICALP 1980: Automata, Languages and Programming pp 645–657Cite as

The use of metasystem transition in theorem proving and program optimization

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 85))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Kleene, S.C., Mathematical Logic, J.Wiley & Sons, 1967.

    Google Scholar 

  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. 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. 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. Turchin, V.F., The Phenomenon of Science, Columbia Univ. Press, New York, 1977.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. The City College, The City University of New York, USA

    Valentin F. Turchin

Authors
  1. Valentin F. Turchin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jaco de Bakker Jan van Leeuwen

Rights and permissions

Reprints and permissions

Copyright information

© 1980 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Turchin, V.F. (1980). The use of metasystem transition in theorem proving and program optimization. In: de Bakker, J., van Leeuwen, J. (eds) Automata, Languages and Programming. ICALP 1980. Lecture Notes in Computer Science, vol 85. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10003-2_105

Download citation

  • DOI: https://doi.org/10.1007/3-540-10003-2_105

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-10003-4

  • Online ISBN: 978-3-540-39346-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation