Advertisement

The structural synthesis of programs: New means

  • Sakharov Alexander
Automatic Programming II
Part of the Lecture Notes in Computer Science book series (LNCS, volume 204)

References

  1. 1.
    Mints G., Tyugu E., Justification of the structural synthesis of programs. Science of Computer Programming, 2 (1982), 215–240.Google Scholar
  2. 2.
    Tyugu E., Towards practical synthesis of programs. Information Processing 80, North-Holland, Amsterdam, 1980, 207–220.Google Scholar
  3. 3.
    Sakharov A., Strukturnyi sintez programm pri nalichii dopolnitelnyh aksiom. Avtomaticheskii sintez programm, Tallin, 1983, 41–57 (in Russian).Google Scholar
  4. 4.
    Sakharov A., Specializirovannye algoritmy sinteza programm. Primenenie metodov matematicheskoi logiki, Tallin, 1983, 153–154 (in Russian).Google Scholar
  5. 5.
    Sakharov A., Razvitie teorii strukturnogo sinteza programm. 7th Vsesoyuznaya konferenciya po matematicheskoi logike, Novosibirsk, 1984, 161 (in Russian).Google Scholar
  6. 6.
    Sakharov A., D/M: an interactive functional language for modular construction of programs. Universitat Hamburg, Fachbereich Informatik, 1985 (to appear).Google Scholar
  7. 7.
    Sakharov A., Bibliotechnye procedury sinteza programm. Avtomaticheskii sintez programm, Tallin, 1983, 157–166 (in Russian).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Sakharov Alexander
    • 1
  1. 1.Computer CentreLeningrad UniversityLeningrad, PeterhofUSSR

Personalised recommendations