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 条

[21] Transformation of a language L* specification of an FSM into an automata equivalent specification in the language L
A. N. Chebotarev
Cybernetics and Systems Analysis, 2010, 46 (4) : 574 - 582
[22] A RIGOROUS DEVELOPMENT STRATEGY USING THE OBJ SPECIFICATION LANGUAGE AND THE MALPAS PROGRAM ANALYSIS TOOLS
SHUTT, RN
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 387 : 260 - 291
[23] TRANSFORMATION OF A LANGUAGE L* SPECIFICATION OF AN FSM INTO AN AUTOMATA EQUIVALENT SPECIFICATION IN THE LANGUAGE L
Chebotarev, A. N.
CYBERNETICS AND SYSTEMS ANALYSIS, 2010, 46 (04) : 574 - 582
[24] ON REAL-TIME PROGRAM SPECIFICATION DESCRIPTION WITH A DATA MODEL-BASED LANGUAGE
OKAMOTO, K
HASHIMOTO, M
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 468 : 206 - 215
[25] AN IMPLEMENTATION OF OBJ2 - AN OBJECT-ORIENTED LANGUAGE FOR ABSTRACT PROGRAM SPECIFICATION
SRIDHAR, S
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 241 : 81 - 95
[26] Tailoring an Interpretable Neural Language Model
Zhang, Yike
Zhang, Pengyuan
Yan, Yonghong
IEEE-ACM TRANSACTIONS ON AUDIO SPEECH AND LANGUAGE PROCESSING, 2019, 27 (07) : 1164 - 1178
[27] An executable specification language for specification understanding in object-oriented specification reuse
Chou, SC
Chen, JY
Chung, CG
INFORMATION AND SOFTWARE TECHNOLOGY, 1996, 38 (06) : 419 - 434
[28] SEMANTICS OF A HARDWARE SPECIFICATION LANGUAGE
LARSSON, T
MICROPROCESSING AND MICROPROGRAMMING, 1986, 18 (1-5): : 637 - 643
[29] A graphical property specification language
Lee, IS
Sokolsky, O
1997 HIGH-ASSURANCE ENGINEERING WORKSHOP - PROCEEDINGS, 1997, : 42 - 47
[30] The logic of the RAISE specification language
George, C
Haxthausen, AE
COMPUTING AND INFORMATICS, 2003, 22 (3-4) : 323 - 350

← 1 2 3 4 5 →