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 条
  • [1] Fault-Safe Code Motion for Type-Safe Languages
    Murphy, Brian R.
    Menon, Vijay
    Schneider, Florian T.
    Shpeisman, Tatiana
    Adl-Tabatabai, Ali-Reza
    CGO 2008: SIXTH INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, PROCEEDINGS, 2008, : 144 - 154
  • [2] Generating type-safe script languages from functional APIs
    Horvath, Gabor
    Kozar, Gabor
    Szugyi, Zalan
    INFORMATICS 2013: PROCEEDINGS OF THE TWELFTH INTERNATIONAL CONFERENCE ON INFORMATICS, 2013, : 122 - 126
  • [3] Type-safe casting
    Hsieh, Wilson C.
    Fiuczynski, Marc E.
    Pardyak, Przemyslaw
    Bershad, Brian N.
    Software - Practice and Experience, 1998, 28 (11): : 1245 - 1252
  • [4] Type-safe disks
    Sivathanu, Gopalan
    USENIX ASSOCIATION 7TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION, 2006, : 15 - 28
  • [5] Type-safe higher-order channels in ML-like languages
    Park, Sungwoo
    ACM SIGPLAN NOTICES, 2007, 42 (09) : 191 - 202
  • [6] Type-safe cast
    Weirich, S
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2004, 14 : 681 - 695
  • [7] Type-safe method inlining
    Glew, N
    Palsberg, J
    ECOOP 2002 - OBJECT-ORIENTED PROGRAMMING, 2002, 2374 : 525 - 544
  • [8] Type-safe update programming
    Erwig, Martin
    Ren, Deling
    2003, Springer Verlag (2618):
  • [9] Flexible type-safe linking of components for Java']Java-like languages
    Ancona, Davide
    Lagorio, Giovanni
    Zucca, Elena
    MODULAR PROGRAMMING LANGUAGES, PROCEEDINGS, 2006, 4228 : 136 - 154
  • [10] Type-safe Higher-order Channels in ML-like Languages
    Park, Sungwoo
    ICFP'07 PROCEEDINGS OF THE 2007 ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, 2007, : 191 - 202
12345