Skip to main content
SpringerLink
Log in
Book cover

European Conference on Computer Algebra

EUROCAL 1985: EUROCAL '85 pp 570–571Cite as

The structural synthesis of programs: New means

  • Automatic Programming II
  • Conference paper
  • First Online:

  • 76 Accesses

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

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

References

  1. Mints G., Tyugu E., Justification of the structural synthesis of programs. Science of Computer Programming, 2 (1982), 215–240.

    Google Scholar 

  2. Tyugu E., Towards practical synthesis of programs. Information Processing 80, North-Holland, Amsterdam, 1980, 207–220.

    Google Scholar 

  3. Sakharov A., Strukturnyi sintez programm pri nalichii dopolnitelnyh aksiom. Avtomaticheskii sintez programm, Tallin, 1983, 41–57 (in Russian).

    Google Scholar 

  4. Sakharov A., Specializirovannye algoritmy sinteza programm. Primenenie metodov matematicheskoi logiki, Tallin, 1983, 153–154 (in Russian).

    Google Scholar 

  5. Sakharov A., Razvitie teorii strukturnogo sinteza programm. 7th Vsesoyuznaya konferenciya po matematicheskoi logike, Novosibirsk, 1984, 161 (in Russian).

    Google Scholar 

  6. Sakharov A., D/M: an interactive functional language for modular construction of programs. Universitat Hamburg, Fachbereich Informatik, 1985 (to appear).

    Google Scholar 

  7. Sakharov A., Bibliotechnye procedury sinteza programm. Avtomaticheskii sintez programm, Tallin, 1983, 157–166 (in Russian).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Centre, Leningrad University, Bibliotechnaya pl. 2, 198904, Leningrad, Peterhof, USSR

    Sakharov Alexander

Authors
  1. Sakharov Alexander
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Bob F. Caviness

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Alexander, S. (1985). The structural synthesis of programs: New means. In: Caviness, B.F. (eds) EUROCAL '85. EUROCAL 1985. Lecture Notes in Computer Science, vol 204. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15984-3_331

Download citation

  • DOI: https://doi.org/10.1007/3-540-15984-3_331

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-15984-1

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation