RELATIVE COMPLETENESS AND SPECIFICATION OF ABSTRACT DATA-TYPES

被引：0

|

作者：

LIN, HM

机构：

来源：

SCIENTIA SINICA SERIES A-MATHEMATICAL PHYSICAL ASTRONOMICAL & TECHNICAL SCIENCES | 1988年 / 31卷 / 08期

关键词：

D O I：

暂无

中图分类号：

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

学科分类号：

07 ; 0710 ; 09 ;

摘要：

引用

收藏

页码：1002 / 1010

页数：9

相关论文

共 50 条

[31] AN EXPERIENCE IN IMPLEMENTING ABSTRACT DATA-TYPES
BANATRE, M
COUVERT, A
HERMAN, D
RAYNAL, M
SOFTWARE-PRACTICE & EXPERIENCE, 1981, 11 (03): : 315 - 320
[32] APPROXIMATION PROPERTIES OF ABSTRACT DATA-TYPES
SCHMIDT, DA
THEORETICAL COMPUTER SCIENCE, 1983, 24 (01) : 73 - 94
[33] ABSTRACT DATA-TYPES, SUBTYPES AND DATA INDEPENDENCE
BURTON, FW
LINGS, BJ
COMPUTER JOURNAL, 1981, 24 (04): : 308 - 311
[34] ABSTRACT SPECIFICATION OF SYNCHRONOUS DATA-TYPES FOR VLSI AND PROVING THE CORRECTNESS OF SYSTOLIC NETWORK IMPLEMENTATIONS
PROBST, DK
LI, HF
IEEE TRANSACTIONS ON COMPUTERS, 1988, 37 (06) : 710 - 720
[35] ALGEBRAIC SPECIFICATION OF DATA-TYPES - A SYNTHETIC APPROACH
LEHMANN, DJ
SMYTH, MB
MATHEMATICAL SYSTEMS THEORY, 1981, 14 (02): : 97 - 139
[36] SPECIFICATION AND IMPLEMENTATION OF RESILIENT, ATOMIC DATA-TYPES
WEIHL, W
LISKOV, B
SIGPLAN NOTICES, 1983, 18 (06): : 53 - 64
[37] SYNTHESIS OF PROGRAMS ON THE BASE OF ABSTRACT DATA-TYPES
ABDYKALYKOV, TA
VESTNIK LENINGRADSKOGO UNIVERSITETA SERIYA MATEMATIKA MEKHANIKA ASTRONOMIYA, 1989, (03): : 90 - 91
[38] A KERNEL LANGUAGE FOR ABSTRACT DATA-TYPES AND MODULES
BURSTALL, R
LAMPSON, B
LECTURE NOTES IN COMPUTER SCIENCE, 1984, 173 : 1 - 50
[39] A VALUE TRANSMISSION METHOD FOR ABSTRACT DATA-TYPES
HERLIHY, M
LISKOV, B
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1982, 4 (04): : 527 - 551
[40] COMPLEXITY OF ALGEBRAIC IMPLEMENTATIONS FOR ABSTRACT DATA-TYPES
EHRIG, H
MAHR, B
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1981, 23 (02) : 223 - 253

← 1 2 3 4 5 →