FROM DENOTATIONAL TO OPERATIONAL AND AXIOMATIC SEMANTICS FOR ALGOL-LIKE LANGUAGES - AN OVERVIEW

被引：0

|

作者：

TRAKHTENBROT, BA

HALPERN, JY

MEYER, AR

机构：

[1] MIT,COMP SCI LAB,CAMBRIDGE,MA 02139

[2] IBM RES,SAN JOSE,CA

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1984年 / 164卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：474 / 500

页数：27

相关论文

共 26 条

[1] Model checking algol-like languages using game semantics
Ong, CHL
[J]. FST TCS 2002: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEOETICAL COMPUTER SCIENCE, PROCEEDINGS, 2002, 2556 : 33 - 36
[2] EXTENSIONS OF ALGOL-LIKE LANGUAGES
SKYUM, S
[J]. INFORMATION AND CONTROL, 1974, 26 (01): : 82 - 97
[3] AN EXTENSION OF ALGOL-LIKE LANGUAGES
ROSE, GF
[J]. COMMUNICATIONS OF THE ACM, 1964, 7 (02) : 52 - 61
[4] BOUNDED ALGOL-LIKE LANGUAGES
GINSBURG, S
SPANIER, EH
[J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1964, 113 (02) : 333 - +
[5] QUANTIFICATION IN ALGOL-LIKE LANGUAGES
TENNENT, RD
[J]. INFORMATION PROCESSING LETTERS, 1987, 25 (02) : 133 - 137
[6] A fibrational framework for possible-world semantics of ALGOL-like languages
Hermida, C.
Tennent, R. D.
[J]. THEORETICAL COMPUTER SCIENCE, 2007, 375 (1-3) : 3 - 19
[7] Information flow for Algol-like languages
Clark, D
Hankin, C
Hunt, S
[J]. COMPUTER LANGUAGES SYSTEMS & STRUCTURES, 2002, 28 (01) : 3 - 28
[8] ON DISPLAY OPTIMIZATION FOR ALGOL-LIKE LANGUAGES
NAWROCKI, JR
KOSTER, CHA
[J]. COMPUTER LANGUAGES, 1990, 15 (01): : 27 - 39
[9] Objects and classes in Algol-like languages
Reddy, US
[J]. INFORMATION AND COMPUTATION, 2002, 172 (01) : 63 - 97
[10] ALGEBRAIC OF SEMANTICS OF ALGOL-LIKE PROGRAMMING LANGUAGE
KOTT, L
[J]. RAIRO-INFORMATIQUE THEORIQUE-THEORETICAL COMPUTER SCIENCE, 1977, 11 (03): : 237 - 263