CV

Theories of Programming Pub Date : 2021-10-02 DOI:10.1145/3477355.3477373

J. Misra

引用次数: 0

Abstract

data types, 259–260 Abstract interpretation, 97interpretation, 97 Abstraction, 188–189, 291. See also Effective abstractionsion, 188–189, 291. See also Effective abstractions in specification, 256–257 ACM interview, 359–385 ACM Turing Award (1980), 3 emperor’s old clothes, 4–21 ADA language, 19, 367

查看原文本刊更多论文

简历

数据类型，259-260抽象解释，97解释，97抽象，188-189,291。另见有效的抽象，188-189,291。参见规范中的有效抽象，256-257 ACM访谈，359-385 ACM图灵奖(1980)，3皇帝的旧衣服，4-21 ADA语言，19,367

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Theories of Programming

自引率

0.00%

发文量