Type safety of generics for the .NET Common Language Runtime

被引：0
|
作者：
Fruja, NG [1 ]
机构：
[1] ETH, Dept Comp Sci, Zurich, Switzerland
来源：
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS | 2006年 / 3924卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The Microsoft NET Common Language Runtime (CLR) offers support for generic types and methods. We develop a mathematical specification for the generics design through a type system and a model for the semantics of a subset of bytecode instructions with generics. We formalize the type-consistency checks performed for the subset by the CLR bytecode verifier. We then prove that adding support for generics maintains the type safety of the CLR.
引用
收藏
页码：325 / 341
页数：17
相关论文
共 50 条
  • [1] Formalization of generics for the .NET common language runtime
    Yu, DC
    Kennedy, A
    Syme, D
    ACM SIGPLAN NOTICES, 2004, 39 (01) : 39 - 51
  • [2] Design and implementation of generics for the .NET common language runtime
    Kennedy, A
    Syme, D
    ACM SIGPLAN NOTICES, 2001, 36 (05) : 1 - 12
  • [3] A quantitative analysis of the .NET common language runtime
    Dick, Joshua R.
    Kent, Kenneth B.
    Libby, Joseph C.
    JOURNAL OF SYSTEMS ARCHITECTURE, 2008, 54 (07) : 679 - 696
  • [4] A partitioning analysis of the . NET common language runtime
    Dick, Joshua R.
    Kent, Kenneth B.
    Libby, Joseph C.
    ECBS 2007: 14TH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS: RAISING EXPECTATIONS OF COMPUTER-BASES SYSTEMS, 2007, : 317 - +
  • [5] Aspect-oriented weaving and the .NET common language runtime
    Schmied, F.
    Cyment, A.
    IET SOFTWARE, 2007, 1 (06) : 251 - 262
  • [6] Language integration in the common language runtime
    Hamilton, J
    ACM SIGPLAN NOTICES, 2003, 38 (02) : 19 - 28
  • [7] An agent oriented programming language targeting the microsoft common language runtime
    Vecchiola, C
    Gozzi, A
    Coccoli, M
    Boccalatte, A
    C(NUMBER) AND .NET TECHNOLOGIES 2003, WORKSHOP PROCEEDINGS, 2003, : 93 - 98
  • [8] IronNetInjector: Weaponizing.NET Dynamic Language Runtime Engines
    Rose, Anthony
    Graham, Scott
    Krasnov, Jacob
    DIGITAL THREATS: RESEARCH AND PRACTICE, 2023, 4 (03):
  • [9] Runtime Type Safety for Erlang/OTP Behaviours
    Harrison, Joseph
    ERLANG '19: PROCEEDINGS OF THE 18TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON ERLANG, 2019, : 36 - 47
  • [10] .NET Common Type System(一)
    蔡学镛
    程序员, 2002, (12) : 70 - 72
12345