Interpretable program specification language |
| |
| Authors: | F. A. Novikov V. B. Novoseltsev |
| |
| Affiliation: | 1.Institute of Applied Astronomy,Russian Academy of Sciences,St. Petersburg,Russia;2.Institute of Software Systems,Russian Academy of Sciences,Yaroslavl oblast,Russia |
| |
| Abstract: | 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. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
