Interpretable program specification language
F. A. Novikov, В. Б. Новосельцев · Programming and Computer Software · 2010
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 of proposition calculus.