Interpretable program specification language

被引：0
|
作者：
F. A. Novikov
V. B. Novoseltsev
机构：
[1] Russian Academy of Sciences,Institute of Applied Astronomy
[2] Russian Academy of Sciences,Institute of Software Systems
来源：
Programming and Computer Software | 2010年 / 36卷
关键词：
Variant Part; Abstract Syntax; Subject Domain; Graphic Notation; Generative Grammar;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
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.
引用
收藏
页码：48 / 57
页数：9
相关论文
共 50 条
12345