DATA-TYPES AS ALGORITHMS

被引：0

|

作者：

ABDALLAH, MAN ^{[1
]}

机构：

[1] LAB INFORMAT THEOR & PROGRAMMAT,PARIS,FRANCE

来源：

RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS | 1984年 / 18卷 / 01期

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：3 / 22

页数：20

相关论文

共 50 条

[41] NONDETERMINISTIC DATA-TYPES - MODELS AND IMPLEMENTATIONS
NIPKOW, T
ACTA INFORMATICA, 1986, 22 (06) : 629 - 661
[42] IMPLEMENTATION OF RESILIENT, ATOMIC DATA-TYPES
WEIHL, W
LISKOV, B
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1985, 7 (02): : 244 - 269
[43] INDUCTIVE DATA-TYPES FOR PREDICATE TRANSFORMERS
DEMOOR, O
INFORMATION PROCESSING LETTERS, 1992, 43 (03) : 113 - 117
[44] LINGUISTIC SUPPORT FOR ATOMIC DATA-TYPES
WEIHL, WE
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1990, 12 (02): : 178 - 202
[45] APPROXIMATION PROPERTIES OF ABSTRACT DATA-TYPES
SCHMIDT, DA
THEORETICAL COMPUTER SCIENCE, 1983, 24 (01) : 73 - 94
[46] A RELATIONAL MODEL FOR THE SPECIFICATION OF DATA-TYPES
BOUDRIGA, N
MILI, A
ZALILA, R
MILI, F
COMPUTER LANGUAGES, 1992, 17 (02): : 101 - 131
[47] SYNTHESIS OF PROGRAMS ON THE BASE OF ABSTRACT DATA-TYPES
ABDYKALYKOV, TA
VESTNIK LENINGRADSKOGO UNIVERSITETA SERIYA MATEMATIKA MEKHANIKA ASTRONOMIYA, 1989, (03): : 90 - 91
[48] MONADS AND ALGEBRAS IN THE SEMANTICS OF PARTIAL DATA-TYPES
MULRY, PS
THEORETICAL COMPUTER SCIENCE, 1992, 99 (01) : 141 - 155
[49] AN EXECUTABLE SPECIFICATION LANGUAGE FOR ABSTRACT DATA-TYPES
BELKHOUCHE, B
URBAN, JE
TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1984, 3 (04): : 247 - 251
[50] A KERNEL LANGUAGE FOR ABSTRACT DATA-TYPES AND MODULES
BURSTALL, R
LAMPSON, B
LECTURE NOTES IN COMPUTER SCIENCE, 1984, 173 : 1 - 50

← 1 2 3 4 5 →