The Programming System PRIZ

@inproceedings{Mints1991ThePS,
  title={The Programming System PRIZ},
  author={Grigori Mints and Enn Tyugu},
  booktitle={Baltic Computer Science},
  year={1991}
}
  • Grigori Mints, Enn Tyugu
  • Published in Baltic Computer Science 1991
  • Computer Science
  • 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… CONTINUE READING

    Citations

    Publications citing this paper.

    ALPS: a logic for program synthesis (motivated by fuzzy logic)

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 12 REFERENCES

    Compilation of Nonprocedural Specifications into Computer Programs

    Computational models with separable problems

    • A. Dikovski, M. Kanovich
    • Cybernetics ( Teehnicheskaya Kibernetika ) NS
    • 1985

    Computational models with separable problems. Cybernetics (Teehnicheskaya Kibernetika) NS

    • A. Dikovski, M. Kanovich
    • 1985

    Instrumental Programming System ES EVM (PRIZ)

    • M. Kahro, A. Kalja, E Tyugu
    • Moscow: Finansy i Statistika (in Russian)
    • 1981

    Structural synthesis with independent subtasks and modal logic $ 4 . Eesti NSV TA Toimetised ( Proc . of the Estonian Academy of Sci )

    • G. Mints
    • Mathem .
    • 1984

    Structural synthesis with independent subtasks and modal logic $4

    • G. Mints
    • Eesti NSV TA Toimetised (Proc. of the Estonian Academy of Sci). Mathem.,
    • 1984
    VIEW 1 EXCERPT

    Synthesis of semantic processors from attribute grammars

    • J. Penyam
    • System Programming Comput. Software NI,
    • 1983
    VIEW 1 EXCERPT