F. A. Novikov

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
In the paper, a domain-specific language of executable specifications is proposed. This language makes it possible to describe models of formalized subject domains in a graphical form, formulate computational problems on these models, and synthesize programs for solving these problems (including parallel ones) based on deductive inference in a special class(More)
  • 1