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 条
  • [41] LEARN LANGUAGE OF MIXER SPECIFICATION
    REYNOLDS, JF
    ROSENZWEIG, MR
    [J]. MICROWAVES, 1978, 17 (05): : 72 - &
  • [42] PROSPER - A LANGUAGE FOR SPECIFICATION BY PROTOTYPING
    LESZCZYLOWSKI, J
    BIEMAN, JM
    [J]. COMPUTER LANGUAGES, 1989, 14 (03): : 165 - 180
  • [43] A Controlled Language for the Specification of Contracts
    Pace, Gordon J.
    Rosner, Michael
    [J]. CONTROLLED NATURAL LANGUAGE, 2010, 5972 : 226 - +
  • [44] ALPS - A LANGUAGE FOR PROCESS SPECIFICATION
    CATRON, BA
    RAY, SR
    [J]. INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 1991, 4 (02) : 105 - 113
  • [45] An equational specification for the Scheme language
    d'Amorim, M
    Rosu, G
    [J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2005, 11 (07) : 1327 - 1348
  • [46] A specification language for clinical algorithms
    Herrero, C
    Maojo, V
    Sanandres, JA
    Lopez, A
    Crespo, J
    Lazaro, P
    [J]. PROCEEDINGS OF THE 18TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY, VOL 18, PTS 1-5, 1997, 18 : 2010 - 2011
  • [47] The Ponder policy specification language
    Damianou, N
    Dulay, N
    Lupu, E
    Sloman, M
    [J]. POLICIES FOR DISTRIBUTED SYSTEMS AND NETWORKS, PROCEEDINGS, 2001, 1995 : 18 - 38
  • [48] The language LinF for fractal specification
    Pereira, FMQ
    Rolla, LT
    Rezende, CG
    Carceroni, RL
    [J]. XVI BRAZILIAN SYMPOSIUM ON COMPUTER GRAPHICS AND IMAGE PROCESSING, PROCEEDINGS, 2003, : 67 - 74
  • [49] Towards a specification of the ToonTalk language
    Morgado, Leonel
    Kahn, Ken
    [J]. JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2008, 19 (05): : 574 - 597
  • [50] The essence of the process specification language
    Schlenoff, C
    Gruninger, M
    Ciocoiu, M
    Lee, JT
    [J]. TRANSACTIONS OF THE SOCIETY FOR COMPUTER SIMULATION INTERNATIONAL, 1999, 16 (04): : 204 - 216
12345