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 条
  • [41] Type-safe versioned object query language
    Machado, Rodrigo
    Moreira, Alvaro Freitas
    Galante, Renata de Matos
    Moro, Mirella Moura
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2006, 12 (07) : 938 - 957
  • [42] CCured: Type-safe retrofitting of legacy software
    Necula, GC
    Condit, J
    Harren, M
    McPeak, S
    Weimer, W
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2005, 27 (03): : 477 - 526
  • [43] Efficient and Type-Safe Generic Data Storage
    Smetsers, Sjaak
    van Weelden, Arjen
    Plasmeijer, Rinus
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 238 (02) : 59 - 70
  • [44] An Efficient Algorithm for Type-Safe Structural Diffing
    Miraldo, Victor Cacciari
    Swierstra, Wouter
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (ICFP):
  • [45] CCured: Type-Safe Retrofitting of Legacy Code
    Necula, George C.
    McPeak, Scott
    Weimer, Westley
    ACM SIGPLAN NOTICES, 2012, 47 (04) : 74 - 85
  • [46] 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
  • [47] The necessary and sufficient conditions of type-safe polymorphism
    Chen, JB
    Lee, SC
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1996, 8 (09): : 33 - &
  • [48] 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,
  • [49] 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
  • [50] Type-safe heterogeneous sharing can be fast
    Liskov, B
    Adya, A
    Castro, M
    Zondervan, Q
    PERSISTENT OBJECT SYSTEMS: PRINCIPLES AND PRACTICE, 1997, : 1 - 10
12345