On Sapphire and type-safe languages

被引：2
|
作者：
Wright, A
机构：
来源：
COMMUNICATIONS OF THE ACM | 2003年 / 46卷 / 04期
关键词：
D O I：
10.1145/641205.641237
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：120 / 120
页数：1
相关论文
共 50 条
  • [31] Type-safe optimisation of plugin architectures
    Glew, N
    Palsberg, J
    Grothoff, C
    STATIC ANALYSIS, PROCEEDINGS, 2005, 3672 : 135 - 154
  • [32] Type-safe runtime class upgrades in Creol
    Yu, Ingrid Chieh
    Johnsen, Einar Broch
    Owe, Olaf
    FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, 2006, 4037 : 202 - 217
  • [33] CCured: Type-safe retrofitting of legacy code
    Necula, GC
    McPeak, S
    Weimer, W
    ACM SIGPLAN NOTICES, 2002, 37 (01) : 128 - 139
  • [34] Type-safe trading proxies using TORBA
    Marvie, R
    Merle, P
    Geib, JM
    Leblane, S
    5TH INTERNATIONAL SYMPOSIUM ON AUTONOMOUS DECENTRALIZED SYSTEMS, PROCEEDINGS, 2001, : 303 - 310
  • [35] Squid: Type-Safe, Hygienic, and Reusable Quasiquotes
    Parreaux, Lionel
    Shaikhha, Amir
    Koch, Christoph E.
    SCALA'17: PROCEEDINGS OF THE 8TH ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON SCALA, 2017, : 56 - 66
  • [36] Automatically Proving Equivalence by Type-Safe Reflection
    Slama, Franck
    Brady, Edwin
    INTELLIGENT COMPUTER MATHEMATICS, 2017, 10383 : 40 - 55
  • [37] Concise, Type-Safe, and Efficient Structural Diffing
    Erdweg, Sebastian
    Szabo, Tamas
    Pacak, Andre
    PROCEEDINGS OF THE 42ND ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '21), 2021, : 406 - 419
  • [38] Type-Safe Updating for Modular WSN Software
    Porter, Barry
    Roedig, Utz
    Coulson, Geoff
    2011 INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING IN SENSOR SYSTEMS AND WORKSHOPS (DCOSS), 2011,
  • [39] Type-safe delegation for dynamic component adaptation
    Kniesel, G
    OBJECT-ORIENTED TECHNOLOGY: ECOOP'98 WORKSHOP READER, 1998, 1543 : 136 - 137
  • [40] Type-Safe Eventful Sessions in Java']Java
    Hu, Raymond
    Kouzapas, Dimitrios
    Pernet, Olivier
    Yoshida, Nobuko
    Honda, Kohei
    ECOOP 2010: OBJECT-ORIENTED PROGRAMMING, 2010, 6183 : 329 - 353
12345