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 条
  • [1] Interpretable program specification language
    Novikov, F. A.
    Novoseltsev, V. B.
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 2010, 36 (01) : 48 - 57
  • [2] Learning Interpretable Models in the Property Specification Language
    Roy, Rajarshi
    Fisman, Dana
    Neider, Daniel
    [J]. 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
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 254 : 181 - 197
  • [4] PROGRAM TESTING TECHNOLOGY BASED ON SPECIFICATION LANGUAGE
    SARKISYAN, AA
    SHUKURYAN, YG
    [J]. CYBERNETICS, 1990, 26 (06): : 795 - 804
  • [5] APROV-SL: A specification language of the another program verifier
    Kim, T
    Lee, O
    Lim, C
    [J]. 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
    [J]. 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
    [J]. COMPUTER AIDED VERIFICATION, PT II, CAV 2024, 2024, 14682 : 302 - 328
  • [8] Interpretable Natural Language Understanding
    He, Yulan
    [J]. PROCEEDINGS OF THE 32ND ACM INTERNATIONAL CONFERENCE ON INFORMATION AND KNOWLEDGE MANAGEMENT, CIKM 2023, 2023, : 1 - 2
  • [9] The specification language T
    Sunik, B
    [J]. ACM SIGPLAN NOTICES, 2005, 40 (05) : 28 - 38
  • [10] On the specification of our language
    Polatajko, HJ
    [J]. OTJR-OCCUPATION PARTICIPATION AND HEALTH, 2005, 25 (02) : 43 - 43
12345