Breaking abstractions and unstructuring data structures

被引：0
|
作者：
Univ of Auckland, Auckland, New Zealand [1 ]
机构：
来源：
Proceedings of the IEEE International Conference on Computer Languages | 1998年
关键词：
All Open Access; Green;
D O I：
Proceedings of the 1998 International Conference on Computer Languages
中图分类号：
学科分类号：
摘要：
Codes (symbols)
引用
收藏
页码：28 / 38
相关论文
共 50 条
  • [31] A Map of the Heap: Revealing Design Abstractions in Runtime Structures
    Myers, Colin
    Duke, David
    SOFTVIS 2010: PROCEEDINGS OF THE 2010 INTERNATIONAL SYMPOSIUM ON SOFTWARE VISUALIZATION, 2010, : 63 - 71
  • [32] Decision Procedures for Algebraic Data Types with Abstractions
    Suter, Philippe
    Dotta, Mirco
    Kuncak, Viktor
    POPL'10: PROCEEDINGS OF THE 37TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2010, : 199 - 210
  • [33] On using data abstractions for model checking refinements
    Derrick, John
    Wehrheim, Heike
    ACTA INFORMATICA, 2007, 44 (01) : 41 - 71
  • [34] Trends in Data Locality Abstractions for HPC Systems
    Unat, Didem
    Dubey, Anshu
    Hoefler, Torsten
    Shalf, John
    Abraham, Mark
    Bianco, Mauro
    Chamberlain, Bradford L.
    Cledat, Romain
    Edwards, H. Carter
    Finkel, Hal
    Fuerlinger, Karl
    Hannig, Frank
    Jeannot, Emmanuel
    Kamil, Amir
    Keasler, Jeff
    Kelly, Paul H. J.
    Leung, Vitus
    Ltaief, Hatem
    Maruyama, Naoya
    Newburn, Chris J.
    Pericas, Miquel
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2017, 28 (10) : 3007 - 3020
  • [35] PROTECTION IN DATA TYPE ABSTRACTIONS USING CONSTRAINTS ON DATA VALUES
    SHORT, KW
    COMPUTER JOURNAL, 1981, 24 (02): : 118 - 124
  • [36] Collection Skeletons: Declarative Abstractions for Data Collections
    Franke, Bjorn
    Li, Zhibo
    Morton, Magnus
    Steuwer, Michel
    PROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2022, 2022, : 189 - 201
  • [37] Reasoning About Algebraic Data Types with Abstractions
    Tuan-Hung Pham
    Andrew Gacek
    Michael W. Whalen
    Journal of Automated Reasoning, 2016, 57 : 281 - 318
  • [38] A SPECIFICATION METHOD FOR SPECIFYING DATA AND PROCEDURAL ABSTRACTIONS
    CLAYBROOK, BG
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1982, 8 (05) : 449 - 459
  • [39] Reasoning About Algebraic Data Types with Abstractions
    Tuan-Hung Pham
    Gacek, Andrew
    Whalen, Michael W.
    JOURNAL OF AUTOMATED REASONING, 2016, 57 (04) : 281 - 318
  • [40] IMPLEMENTING DATA ABSTRACTIONS AND MONITORS IN UCSD PASCAL
    BODDY, DE
    SIGPLAN NOTICES, 1983, 18 (05): : 15 - 24
12345