Advertisement

Logical-termal equivalence of program schemata

  • V. E. Itkin
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5)

Abstract

In this paper the logic — termal (LT) equivalence of some class of program schemata is introduced and the solvability of recognizing the problem of this equivalence is proved. To the LT -equivalence belongs, for example, the operator and recognizer decomposition, the translation and permutation of operators, the memory redistribution, "untwisting of cycles", economy due to coinciding parts of computations.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    A.P. ERSHOV, Theory of Program Schemata, IFIP Congress, 71, Lubljana, August 23–28, 1971.Google Scholar
  2. [2]
    A.P. ERSHOV, A.A. LIAPOUNOV, On Formalization of the Program Concept, Kibernetika (Kiev) 5 (1967).Google Scholar
  3. [3]
    A.P. ERSHOV, On Yanov Program Schemata, Cybernetics Problems, 20 (Nauka, Moscow, 1967).Google Scholar
  4. [4]
    A.P. ERSHOV, On Program Schemata Over Common and Distributed Memory, Kibernetika (Kiev) 4 (1968).Google Scholar
  5. [5]
    A.P. ERSHOV, Reducing the Problem of Memory Allocation when Compiling Programs to the one of Colouring the Vertices of Graphs, Dokl. Akad. Nauk SSSR, 142, IV.4 (1962).Google Scholar
  6. [6]
    V.E. KOTOV, Transformation of Program Schemata into Asynchronous Programs, Dissertation autoreferate (Comp. Center Siberian Div. Ac. Sci. Novosibirsk, 1970).Google Scholar
  7. [7]
    V.E. ITKIN, Z. ZWIENOGRODSKY, On Equivalence of Program Schemata, J. Comp. Syst. Sci. 5 (1971).Google Scholar
  8. [8]
    Yu. I. YANOV, On Logical Algorithm Schemata, Cybernetics problems 1, (Fizmatgiz, Moscow, 1958).Google Scholar
  9. [9]
    V.E. ITKIN, Logic-Thermal Equivalence of Program Schemata, Kibernetika (Kiev) 1 (1972).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1974

Authors and Affiliations

  • V. E. Itkin
    • 1
  1. 1.Novosibirsk

Personalised recommendations