AXIOMATIC DEFINITIONS OF PROGRAMMING-LANGUAGES - A THEORETICAL ASSESSMENT

被引：16

|

作者：

MEYER, AR ^{[1
]}

HALPERN, JY ^{[1
]}

机构：

[1] HARVARD UNIV,CAMBRIDGE,MA 02138

来源：

JOURNAL OF THE ACM | 1982年 / 29卷 / 02期

关键词：

D O I：

10.1145/322307.322324

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：555 / 576

页数：22

相关论文

共 50 条

[1] AXIOMATIC DEFINITIONS OF PROGRAMMING LANGUAGES - A THEORETICAL ASSESSMENT.
Meyer, Albert R.
Halpern, Joseph Y.
Conference Record of the Annual ACM Symposium on Principles of Programming Languages, 1980, : 203 - 212
[2] PROGRAMMING-LANGUAGES
THEWLIS, D
SOFTWARE ENGINEERING JOURNAL, 1986, 1 (04): : 146 - 146
[3] PROGRAMMING-LANGUAGES
BLUM, BI
M D COMPUTING, 1984, 1 (05): : 60 - 68
[4] PROGRAMMING-LANGUAGES
LINCOLN, TL
CLINICS IN LABORATORY MEDICINE, 1991, 11 (01) : 53 - 72
[5] A STYLE FOR WRITING THE SYNTACTIC PORTIONS OF COMPLETE DEFINITIONS OF PROGRAMMING-LANGUAGES
PAGAN, FG
COMPUTER JOURNAL, 1981, 24 (02): : 143 - 147
[6] PROGRAMMING-LANGUAGES
TESLER, LG
SCIENTIFIC AMERICAN, 1984, 251 (03) : 70 - &
[7] PROGRAMMING-LANGUAGES
不详
KYBERNETES, 1983, 12 (04) : 226 - 227
[8] PROGRAMMING-LANGUAGES
DEPARIS, JR
DATA PROCESSING, 1961, 3 (12): : 36 - &
[9] AN ASSESSMENT OF PROGRAMMING-LANGUAGES IN POWER ENGINEERING APPLICATIONS
YU, DC
CHEN, ST
ELECTRIC POWER SYSTEMS RESEARCH, 1988, 15 (02) : 99 - 105
[10] PROGRAMMING-LANGUAGES FOR MICROCOMPUTERS
DOWSING, RD
COMPUTER PHYSICS COMMUNICATIONS, 1982, 26 (1-2) : 41 - 48

← 1 2 3 4 5 →