Proposal for making Eiffel type-safe

被引：0
|
作者：
机构：
[1] Cook, W.R.
来源：
Cook, W.R. | 1600年 / 32期
关键词：
Computer Programming;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Automatically Proving Equivalence by Type-Safe Reflection
    Slama, Franck
    Brady, Edwin
    INTELLIGENT COMPUTER MATHEMATICS, 2017, 10383 : 40 - 55
  • [32] 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
  • [33] 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
  • [34] 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,
  • [35] Type-safe delegation for dynamic component adaptation
    Kniesel, G
    OBJECT-ORIENTED TECHNOLOGY: ECOOP'98 WORKSHOP READER, 1998, 1543 : 136 - 137
  • [36] 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
  • [37] 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
  • [38] 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
  • [39] 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
  • [40] An Efficient Algorithm for Type-Safe Structural Diffing
    Miraldo, Victor Cacciari
    Swierstra, Wouter
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (ICFP):
12345