COMPOSITION SEMANTICS OF PROGRAMMING-LANGUAGES

被引：0

|

作者：

NIKITCHENKO, NS

机构：

来源：

PROGRAMMING AND COMPUTER SOFTWARE | 1982年 / 8卷 / 06期

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

下载

收藏

页码：306 / 314

页数：9

相关论文

共 50 条

[1] ON THE SEMANTICS OF LOGIC PROGRAMMING-LANGUAGES
MARTELLI, A
ROSSI, G
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 327 - 334
[2] CATEGORICAL SEMANTICS FOR PROGRAMMING-LANGUAGES
HE, JF
HOARE, CAR
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 442 : 402 - 417
[3] ON THE SEMANTICS OF RULES IN DATABASE PROGRAMMING-LANGUAGES
HULL, R
JACOBS, D
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 504 : 59 - 85
[4] DENOTATIONAL SEMANTICS OF PARALLEL PROGRAMMING-LANGUAGES
BREZANY, P
KYBERNETIKA, 1983, 19 (03) : 248 - 262
[5] FORMAL SEMANTICS OF PROGRAMMING-LANGUAGES - VDL
LUCAS, P
IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1981, 25 (05) : 549 - 561
[6] AN ALGEBRAIC APPROACH TO SEMANTICS OF PROGRAMMING-LANGUAGES
LASTOVETSKY, AL
GAISSARYAN, SS
THEORETICAL COMPUTER SCIENCE, 1994, 135 (02) : 267 - 288
[7] DESCRIPTION OF SEMANTICS OF ROBOT PROGRAMMING-LANGUAGES
ZIELINSKI, C
MECHATRONICS, 1992, 2 (02) : 171 - 198
[8] TOWARDS A FORMAL SEMANTICS FOR CONCURRENT LOGIC PROGRAMMING-LANGUAGES
BECKMAN, L
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 335 - 349
[9] FUNCTOR-CATEGORY SEMANTICS OF PROGRAMMING-LANGUAGES AND LOGICS
TENNENT, RD
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 240 : 206 - 224
[10] PROGRAMMING-LANGUAGES
THEWLIS, D
SOFTWARE ENGINEERING JOURNAL, 1986, 1 (04): : 146 - 146

← 1 2 3 4 5 →