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 条
  • [41] MSL - A MATHEMATICAL SPECIFICATION LANGUAGE
    MAKAROV, VP
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 620 : 305 - 313
  • [42] English as a formal specification language
    Schwitter, R
    13TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2002, : 228 - 232
  • [43] LEARN LANGUAGE OF MIXER SPECIFICATION
    REYNOLDS, JF
    ROSENZWEIG, MR
    MICROWAVES, 1978, 17 (05): : 72 - &
  • [44] Overview of specification language universe
    Zhu, M.-Y.
    Wang, C.-W.
    Proceedings of the IFIP World Computer Congress, 1992, 1
  • [45] PROSPER - A LANGUAGE FOR SPECIFICATION BY PROTOTYPING
    LESZCZYLOWSKI, J
    BIEMAN, JM
    COMPUTER LANGUAGES, 1989, 14 (03): : 165 - 180
  • [46] An equational specification for the Scheme language
    d'Amorim, M
    Rosu, G
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2005, 11 (07) : 1327 - 1348
  • [47] A Controlled Language for the Specification of Contracts
    Pace, Gordon J.
    Rosner, Michael
    CONTROLLED NATURAL LANGUAGE, 2010, 5972 : 226 - +
  • [48] ALPS - A LANGUAGE FOR PROCESS SPECIFICATION
    CATRON, BA
    RAY, SR
    INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 1991, 4 (02) : 105 - 113
  • [49] The Ponder policy specification language
    Damianou, N
    Dulay, N
    Lupu, E
    Sloman, M
    POLICIES FOR DISTRIBUTED SYSTEMS AND NETWORKS, PROCEEDINGS, 2001, 1995 : 18 - 38
  • [50] The essence of the process specification language
    Schlenoff, C
    Gruninger, M
    Ciocoiu, M
    Lee, JT
    TRANSACTIONS OF THE SOCIETY FOR COMPUTER SIMULATION INTERNATIONAL, 1999, 16 (04): : 204 - 216
12345