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 条
  • [1] Interpretable program specification language
    F. A. Novikov
    V. B. Novoseltsev
    Programming and Computer Software, 2010, 36 : 48 - 57
  • [2] Learning Interpretable Models in the Property Specification Language
    Roy, Rajarshi
    Fisman, Dana
    Neider, Daniel
    PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, : 2213 - 2219
  • [3] An Abstract Specification Language for Static Program Analysis
    Vistein, Michael
    Ortmeier, Frank
    Reif, Wolfgang
    Huuck, Ralf
    Fehnker, Ansgar
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 254 : 181 - 197
  • [4] PROGRAM TESTING TECHNOLOGY BASED ON SPECIFICATION LANGUAGE
    SARKISYAN, AA
    SHUKURYAN, YG
    CYBERNETICS, 1990, 26 (06): : 795 - 804
  • [5] APROV-SL: A specification language of the another program verifier
    Kim, T
    Lee, O
    Lim, C
    8th International Conference on Advanced Communication Technology, Vols 1-3: TOWARD THE ERA OF UBIQUITOUS NETWORKS AND SOCIETIES, 2006, : U537 - U540
  • [6] OPTRAN - A LANGUAGE SYSTEM FOR THE SPECIFICATION OF PROGRAM TRANSFORMATIONS - SYSTEM OVERVIEW AND EXPERIENCES
    LIPPS, P
    MONCKE, U
    WILHELM, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 371 : 52 - 65
  • [7] Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification
    Wen, Cheng
    Cao, Jialun
    Su, Jie
    Xu, Zhiwu
    Qin, Shengchao
    He, Mengda
    Li, Haokun
    Cheung, Shing-Chi
    Tian, Cong
    COMPUTER AIDED VERIFICATION, PT II, CAV 2024, 2024, 14682 : 302 - 328
  • [8] Interpretable Natural Language Understanding
    He, Yulan
    PROCEEDINGS OF THE 32ND ACM INTERNATIONAL CONFERENCE ON INFORMATION AND KNOWLEDGE MANAGEMENT, CIKM 2023, 2023, : 1 - 2
  • [9] The specification language T
    Sunik, B
    ACM SIGPLAN NOTICES, 2005, 40 (05) : 28 - 38
  • [10] THE SPECIFICATION LANGUAGE OF OBSCURE
    LEHMANN, T
    LOECKX, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 332 : 131 - 153
12345