A Spectrum of Type Soundness and Performance

被引:0
|
作者
Greenman, Ben [1 ]
Felleisen, Matthias [1 ]
机构
[1] Northeastern Univ, PLT, Boston, MA 02115 USA
来源
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL | 2018年 / 2卷
关键词
migratory typing; type soundness; performance evaluation; D-deliverable;
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
The literature on gradual typing presents three fundamentally different ways of thinking about the integrity of programs that combine statically typed and dynamically typed code. This paper presents a uniform semantic framework that explains all three approaches, illustrates how each approach affects a developer's work, and adds a systematic performance comparison for a single implementation platform.
引用
收藏
页数:32
相关论文
共 50 条
  • [1] A Spectrum of Type Soundness and Performance
    Greenman, Ben
    Felleisen, Matthias
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, 2018,
  • [2] The spectrum of ?31-soundness
    Aguilera, J. P.
    Pakhomov, F.
    PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 2023, 381 (2248): : 20220013
  • [3] Type Soundness for Path Polymorphism
    Viso, Andres
    Bonelli, Eduardo
    Ayala-Rincon, Mauricio
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2016, 323 : 235 - 251
  • [4] A SYNTACTIC APPROACH TO TYPE SOUNDNESS
    WRIGHT, AK
    FELLEISEN, M
    INFORMATION AND COMPUTATION, 1994, 115 (01) : 38 - 94
  • [5] Game Semantics for Type Soundness
    Disney, Tim
    Flanagan, Cormac
    2015 30TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2015, : 104 - 114
  • [6] A Logical Approach to Type Soundness
    Timany, Amin
    Krebbers, Robbert
    Dreyer, Derek
    Birkedal, Lars
    JOURNAL OF THE ACM, 2024, 71 (06)
  • [7] On the Cost of Type-Tag Soundness
    Greenman, Ben
    Migeed, Zeina
    PROCEEDINGS OF THE ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'18), 2018, : 30 - 39
  • [8] Type Soundness and Race Freedom for Mezzo
    Balabonski, Thibaut
    Pottier, Francois
    Protzenko, Jonathan
    FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, 2014, 8475 : 253 - 269
  • [9] SOUNDNESS OF AN INDUCTION-TYPE RHEOSTAT
    GAJIYEV, TN
    VEZIROV, FK
    IZVESTIYA AKADEMII NAUK AZERBAIDZHANSKOI SSR SERIYA FIZIKO-TEKHNICHESKIKH I MATEMATICHESKIKH NAUK, 1977, (03): : 75 - 79
  • [10] Type Soundness Proofs with Definitional Interpreters
    Amin, Nada
    Rompf, Tiark
    ACM SIGPLAN NOTICES, 2017, 52 (01) : 666 - 679