Type-safe casting

被引：0
|
作者：
Hsieh, Wilson C. [1 ]
Fiuczynski, Marc E. [1 ]
Pardyak, Przemyslaw [1 ]
Bershad, Brian N. [1 ]
机构：
[1] Univ of Utah, Salt Lake City, United States
来源：
Software - Practice and Experience | 1998年 / 28卷 / 11期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1245 / 1252
相关论文
共 50 条
  • [41] CCured: Type-Safe Retrofitting of Legacy Code
    Necula, George C.
    McPeak, Scott
    Weimer, Westley
    ACM SIGPLAN NOTICES, 2012, 47 (04) : 74 - 85
  • [42] Expressive and Strongly Type-Safe Code Generation
    Winant, Thomas
    Cockx, Jesper
    Devriese, Dominique
    PROCEEDINGS OF THE 19TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2017), 2017, : 199 - 210
  • [43] The necessary and sufficient conditions of type-safe polymorphism
    Chen, JB
    Lee, SC
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1996, 8 (09): : 33 - &
  • [44] A Structure Editor with Type-Safe Copy/Paste
    Andersen, Christoffer Lind
    Nielsen, Anja Elisasen Lumholtz
    Sandberg, Nana Gjerulff
    Huttel, Hans
    Mikkelsen, Peter
    PROCEEDINGS OF THE 2022 34TH SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, IFL 2022, 2022,
  • [45] A Type-Safe Model of Adaptive Object Groups
    Bjork, Joakim
    Clarke, Dave
    Johnsen, Einar Broch
    Owe, Olaf
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (91): : 1 - 15
  • [46] Type-safe heterogeneous sharing can be fast
    Liskov, B
    Adya, A
    Castro, M
    Zondervan, Q
    PERSISTENT OBJECT SYSTEMS: PRINCIPLES AND PRACTICE, 1997, : 1 - 10
  • [47] Type-safe Runtime Code Generation: Accelerate to LLVM
    McDonell, Trevor L.
    Chakravarty, Manuel M. T.
    Grover, Vinod
    Newton, Ryan R.
    ACM SIGPLAN NOTICES, 2015, 50 (12) : 201 - 212
  • [48] An update calculus for expressing type-safe program updates
    Erwig, Martin
    Ren, Deling
    SCIENCE OF COMPUTER PROGRAMMING, 2007, 67 (2-3) : 199 - 222
  • [49] Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System
    Yang, Jean
    Hawblitzel, Chris
    PLDI '10: PROCEEDINGS OF THE 2010 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2010, : 99 - 110
  • [50] Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System
    Yang, Jean
    Hawblitzel, Chris
    ACM SIGPLAN NOTICES, 2010, 45 (06) : 99 - 110
12345