DATA-ABSTRACTION IMPLEMENTATION, SPECIFICATION, AND TESTING

被引：98
|
作者：
GANNON, J
MCMULLIN, P
HAMLET, R
机构：
来源：
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1981年 / 3卷 / 03期
关键词：
D O I：
10.1145/357139.357140
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：211 / 223
页数：13
相关论文
共 50 条
  • [41] MatrixMap: Programming Abstraction and Implementation of Matrix Computation for Big Data Applications
    Huangfu, Yaguang
    Cao, Jiannong
    Lu, Hongliang
    Liang, Guanqing
    2015 IEEE 21ST INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS), 2015, : 19 - 28
  • [42] New mutations for evaluation of specification and implementation levels of adequacy in testing of statecharts models
    Trakhtenbrot, Mark
    TAIC PART 2007 - TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE - PRACTICE AND RESEARCH TECHNIQUES, PROCEEDINGS: CO-LOCATED WITH MUTATION 2007, 2007, : 151 - 160
  • [43] Abstraction and testing in CSP
    Schneider, Steve
    Formal Aspects of Computing, 2000, 12 (03) : 165 - 181
  • [44] BigFuzz: Efficient Fuzz Testing for Data Analytics Using Framework Abstraction
    Zhang, Qian
    Wang, Jiyuan
    Gulzar, Muhammad Ali
    Padhye, Rohan
    Kim, Miryung
    2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020), 2020, : 722 - 733
  • [45] SPECIFICATION AND IMPLEMENTATION OF CONCURRENTLY ACCESSED DATA-STRUCTURES - AN ABSTRACT DATA TYPE APPROACH
    KAPLAN, S
    PNUELI, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 247 : 220 - 244
  • [46] FROM SPECIFICATION TO IMPLEMENTATION
    KARJALAINEN, J
    MICROPROCESSING AND MICROPROGRAMMING, 1992, 35 (1-5): : 727 - 727
  • [47] The implementation of ManTei data copyright protection system based on the EBX specification
    Jin, YL
    Hou, LB
    Hu, DT
    CITY DEVELOPMENT AND LIBRARY SERVICES, 2004, : 292 - 296
  • [48] LOGICAL SPECIFICATION AND IMPLEMENTATION
    MAIBAUM, TSE
    SADLER, MR
    VELOSO, PAS
    LECTURE NOTES IN COMPUTER SCIENCE, 1984, 181 : 13 - 30
  • [49] Virtual Machines: Abstraction and Implementation
    Schocken, Shimon
    ITICSE 2009: PROCEEDING OF THE 2009 ACM SIGSE ANNUAL CONFERENCE ON INNOVATION AND TECHNOLOGY IN COMPUTER SCIENCE EDUCATION, 2009, : 203 - 207
  • [50] Nonparametric dynamic panel data models: Kernel estimation and specification testing
    Su, Liangjun
    Lu, Xun
    JOURNAL OF ECONOMETRICS, 2013, 176 (02) : 112 - 133
12345