NORMAL REPRESENTATION OF SEMANTICS OF LANGUAGES OF MODERN PROGRAMMING SYSTEMS

被引：0

|

作者：

VELBITSKII, IV ^{[1
]}

机构：

[1] ACAD SCI UKSSR,CYBERNETICS INST,KIEV,UKSSR

来源：

DOKLADY AKADEMII NAUK SSSR | 1975年 / 223卷 / 06期

关键词：

D O I：

暂无

中图分类号：

O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];

学科分类号：

07 ; 0710 ; 09 ;

摘要：

引用

收藏

页码：1329 / 1332

页数：4

相关论文

共 50 条

[1] Semantics for Modern Languages
Shaewitz, Leonard
MODERN LANGUAGE JOURNAL, 1953, 37 (04): : 177 - 180
[2] DENOTATIONAL SEMANTICS OF PROGRAMMING LANGUAGES
TENNENT, RD
COMMUNICATIONS OF THE ACM, 1976, 19 (08) : 437 - 453
[3] COMPOSITION SEMANTICS OF PROGRAMMING LANGUAGES.
Nikitchenko, N.S.
Programming and Computer Software (English Translation of Programmirovanie), 1982, 8 (06): : 306 - 314
[4] SYNTAX AND SEMANTICS OF UNIVERSAL PROGRAMMING LANGUAGES
HAMLET, RG
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1977, 6 (02) : 87 - 103
[5] Formal Semantics of Programming Languages - An Overview
Mosses, Peter D.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 148 (01) : 41 - 73
[6] Modular rewriting semantics of programming languages
Meseguer, J
Braga, C
ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS, 2004, 3116 : 364 - 378
[7] CATEGORICAL SEMANTICS FOR PROGRAMMING-LANGUAGES
HE, JF
HOARE, CAR
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 442 : 402 - 417
[8] COMPOSITION SEMANTICS OF PROGRAMMING-LANGUAGES
NIKITCHENKO, NS
PROGRAMMING AND COMPUTER SOFTWARE, 1982, 8 (06) : 306 - 314
[9] ON THE SEMANTICS OF LOGIC PROGRAMMING-LANGUAGES
MARTELLI, A
ROSSI, G
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 327 - 334
[10] SEMANOL (73) - METALANGUAGE FOR PROGRAMMING SEMANTICS OF PROGRAMMING LANGUAGES
ANDERSON, ER
BELZ, FC
BLUM, EK
ACTA INFORMATICA, 1976, 6 (02) : 109 - 131

← 1 2 3 4 5 →