Skip to main content
SpringerLink
Log in
Book cover

Baltic Computer Science Conference

BCS 1991: Baltic Computer Science pp 1–17Cite as

The programming system PRIZ

  • Deductive Synthesis Of Programs
  • Conference paper
  • First Online:

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

Abstract

The programming system PRIZ combines conventional programming technique with automatic synthesis of programs from specifications. It enables one to build specifications from descriptions of application domains. They are automatically encoded into propositional calculus and used by the system for the program synthesis. PRIZ is not bound to any particular problem domain, but applicable for synthesis of programs solving problems of a wide class called computational problems. From the theoretical side it has the deductive power of the intuitionistic propositional calculus.

Reprinted with permission from J. Symbolic Computation (1988) 5, 359–375 © 1988 Academic Press Limited

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

  • Dikovski, A., Kanovich, M. (1985). Computational models with separable problems. Cybernetics (Technicheskaya Kibernetika) N5, 36–59 (In Russian).

    Google Scholar 

  • Howard, P. (1980). The formulae-as-types notion of construction. In: To H. B. Curry. Essays on logic, lambda calculus and formalism. Pp. 479–490.

    Google Scholar 

  • Kahro, M., Kalja, A., Tyugu, E. (1981). Instrumental Programming System ES EVM (PRIZ). Moscow: Finansy i Statistika (in Russian).

    Google Scholar 

  • Kleene, S. (1952). Introduction to Metamathematics. Amsterdam: North-Holland.

    Google Scholar 

  • Mints, G., Tyugu, E. (1982). Justification of the structural synthesis of programs. Science Comput. Prog. N2, 215–240.

    Article  Google Scholar 

  • Mints, G. (1984). Structural synthesis with independent subtasks and modal logic S4. Eesti NSV TA Toimetised (Proc. of the Estonian Academy of Sci). Mathem., 33, N2, 147–151.

    Google Scholar 

  • Penyam, J. (1983). Synthesis of semantic processors from attribute grammars. System Programming Comput. Software N1, 50–60.

    Google Scholar 

  • Prywes, N. S., Pnueli, A. (1983). Compilation of Nonprocedural Specifications into computer programs. Software Engineering N3, 267–279.

    Google Scholar 

  • Tyugu, E. (1987). Knowledge based programming. New York: Addison-Wesley.

    Google Scholar 

  • Voloz, B., Matskin, M., Mints, G., Tyugu, E. (1982). Theorem proving with the aid of program synthesizer. Cybernetics N6, 63–70.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Cybernetics, Estonian Academy of Sciences, 200108, Tallinn, USSR

    G. Mints & E. Tyugu

Authors
  1. G. Mints
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. E. Tyugu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Janis Bārzdinš Dines Bjørner

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mints, G., Tyugu, E. (1991). The programming system PRIZ. In: Bārzdinš, J., Bjørner, D. (eds) Baltic Computer Science. BCS 1991. Lecture Notes in Computer Science, vol 502. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0019353

Download citation

  • DOI: https://doi.org/10.1007/BFb0019353

  • Received:

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54131-8

  • Online ISBN: 978-3-540-47427-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation