Interpretable program specification language

被引：2
|
作者：
Novikov, F. A. [1 ]
Novoseltsev, V. B. [2 ]
机构：
[1] Russian Acad Sci, Inst Appl Astron, St Petersburg 191187, Russia
[2] Russian Acad Sci, Inst Software Syst, Pereslavlraion 150020, Yaroslavl Oblas, Russia
来源：
PROGRAMMING AND COMPUTER SOFTWARE | 2010年 / 36卷 / 01期
关键词：
Variant Part; Abstract Syntax; Subject Domain; Graphic Notation; Generative Grammar;
D O I：
10.1134/S036176881001007X
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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
页数：10
相关论文
共 50 条
  • [31] A new definitional specification language
    Redouane, A
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2003, PT 1, PROCEEDINGS, 2003, 2667 : 694 - 703
  • [32] FUNZ - AN INTERMEDIATE SPECIFICATION LANGUAGE
    SHERRELL, LB
    CARVER, DL
    COMPUTER JOURNAL, 1995, 38 (03): : 193 - 206
  • [33] LANGUAGE FOR FORMAL PROBLEM SPECIFICATION
    GREIF, I
    COMMUNICATIONS OF THE ACM, 1977, 20 (12) : 931 - 935
  • [34] THE VIP VDM SPECIFICATION LANGUAGE
    MIDDELBURG, K
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 328 : 187 - 201
  • [35] Reflections on the design of a specification language
    Kahrs, S
    Sannella, D
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 1998, 1382 : 154 - 170
  • [36] A LANGUAGE CONSTRUCT FOR THE SPECIFICATION OF DISCONTINUITIES
    JAVEY, S
    JOURNAL OF SYSTEMS AND SOFTWARE, 1988, 8 (05) : 409 - 417
  • [37] Language for Use Case Specification
    Savic, Dusan
    Antovic, Ilija
    Vlajic, Sinisa
    Stanojevic, Vojislav
    Milic, Milos
    2011 34TH IEEE SOFTWARE ENGINEERING WORKSHOP (SEW 2011), 2011, : 19 - 26
  • [38] Language independent container specification
    Zamulin, AV
    GENERIC PROGRAMMING, 2000, 1766 : 192 - 205
  • [39] THE RAISE SPECIFICATION LANGUAGE - A TUTORIAL
    GEORGE, C
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 552 : 238 - 319
  • [40] AN OVERVIEW OF SPECIFICATION LANGUAGE UNIVERSE
    ZHU, MY
    WANG, CW
    IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 12 : 42 - 48
12345