On finding invariant relations of program

  • A. A. Letichevsky
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 122)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Glushkov V.M., Kapitonova Yu.V., Letichevsky A.A., Theoretical foundations of discrete systems design, Kibernetika, No.6, 1977 (in Russian).Google Scholar
  2. 2.
    Letichevsky A.A., Equivalence and optimization of programs, International Symposium on Theoretical Programming, Lecture Notes in Computer Science, No.5, 1974.Google Scholar
  3. 3.
    Cuasot P., Halbwachs N., Automatic discovery of linear restrictions among variables of program, Conference Record of the 5-th Annual ACM Symposium on Principles of Programming Languages, Jan. 23–25, 1978, USA.Google Scholar
  4. 4.
    Mal'tsev A.I., Algebraic systems, Nauka, Moscow, 1970 (in Russian).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • A. A. Letichevsky
    • 1
  1. 1.Institute of CyberneticsUkrainian Academy of SciencesKiev 207USSR

Personalised recommendations