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 条
  • [21] TYPE AND INCIDENCE OF SURGICAL DISEASES FOUND IN SOUNDNESS EXAMINATIONS
    TELLHELM, B
    PRAKTISCHE TIERARZT, 1977, 58 (03): : 172 - &
  • [22] Efficient Software Model Checking of Soundness of Type Systems
    Roberson, Michael
    Harries, Melanie
    Darga, Paul T.
    Boyapati, Chandrasekhar
    ACM SIGPLAN NOTICES, 2008, 43 (10) : 493 - 504
  • [23] A TYPE SOUNDNESS PROOF FOR VARIABLES IN LCF-ML
    VOLPANO, D
    SMITH, G
    INFORMATION PROCESSING LETTERS, 1995, 56 (03) : 141 - 146
  • [24] Efficient Software Model Checking of Soundness of Type Systems
    Roberson, Michael
    Harries, Melanie
    Darga, Paul T.
    Boyapati, Chandrasekhar
    OOPSLA 2008 NASHVILLE, CONFERENCE PROCEEDINGS: MUSIC CITY USA, OOPSLA, 2008, : 493 - 504
  • [25] A Type System and Type Soundness for the Calculus of Aspect-Oriented Programming Languages
    Gopalani, Dinesh
    Govil, M. C.
    Jain, K. C.
    INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTISTS, IMECS 2012, VOL I, 2012, : 263 - 268
  • [26] FEEDLOT PERFORMANCE AND SOUNDNESS OF BOARS TESTED TO HEAVIER WEIGHTS
    JESSE, GW
    ELLERSIECK, MR
    GOETSCH, AL
    GERKE, JP
    LEAVITT, RK
    JOURNAL OF ANIMAL SCIENCE, 1983, 56 (03) : 537 - 544
  • [27] Modular and Automated Type-Soundness Verification for Language Extensions
    Lorenzen, Florian
    Erdweg, Sebastian
    ACM SIGPLAN NOTICES, 2013, 48 (09) : 331 - 342
  • [28] TYPE AND INCIDENCE OF INTERNAL DISEASES FOUND BY SOUNDNESS EXAMINATIONS OF HORSES
    MAYER, H
    PRAKTISCHE TIERARZT, 1977, 58 (03): : 168 - &
  • [29] Financial soundness and performance: evidence from commercial banks in Kenya
    Kirimi, Peter Njagi
    Kariuki, Samuel Nduati
    Ocharo, Kennedy Nyabuto
    AFRICAN JOURNAL OF ECONOMIC AND MANAGEMENT STUDIES, 2022, 13 (04) : 651 - 667
  • [30] On simulatability soundness and mapping soundness of symbolic cryptography
    Backes, Michael
    Duermuth, Markus
    Kuesters, Ralf
    FSTTCS 2007: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2007, 4855 : 108 - +
12345