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 条
  • [21] EFFICACY AND SAFETY OF IMATINIB GENERICS; A REPORT FROM POLISH (PALG) IMATINIB GENERICS REGISTRY
    Sacha, T.
    Gora-Tybor, J.
    Szarejko, M.
    Bober, G.
    Grzybowska-Izydorczyk, O.
    Niesiobedzka-Krezel, J.
    Dudzinski, M.
    Wasilewska, E.
    Mysliwiec, K.
    Gil, J.
    Gniot, M.
    Pietkun, I.
    Waclaw, J.
    Giannopoulos, K.
    HAEMATOLOGICA, 2016, 101 : 151 - 151
  • [22] A Translation-Facilitated Comparison Between the Common Language Runtime and the Java']Java Virtual Machine
    Shiel, Sam
    Bayley, Ian
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 141 (01) : 35 - 52
  • [23] A runtime framework for system safety
    Papp, Z
    Zoutendijk, A
    IEEE IV2003: INTELLIGENT VEHICLES SYMPOSIUM, PROCEEDINGS, 2003, : 394 - 399
  • [24] Parallel computing runtime for Microsoft .NET framework
    Chudinov, A
    Roganov, V
    C(NUMBER) AND .NET TECHNOLOGIES 2003, WORKSHOP PROCEEDINGS, 2003, : 3 - 7
  • [25] Democrats prioritize pricing, generics and drug safety
    Fox, Jeffrey L.
    NATURE BIOTECHNOLOGY, 2007, 25 (02) : 150 - 151
  • [26] THE PORTABLE COMMON RUNTIME APPROACH TO INTEROPERABILITY
    WEISER, M
    DEMERS, A
    HAUSER, C
    OPERATING SYSTEMS REVIEW, VOL 23, NO 5, SPECIAL ISSUE: PROCEEDINGS OF THE TWELFTH ACM SYMPOSIUM ON OPERATING SYSTEMS PRINCIPLES, 1989, : 114 - 122
  • [27] NET PRICES OF GENERICS IN GREECE DUE TO PAYBACKS: UPDATING THE FACTS
    Papadopoulos, K.
    Stefanidou, Z.
    Ollandezos, M.
    VALUE IN HEALTH, 2019, 22 : S783 - S783
  • [28] Democrats prioritize pricing, generics and drug safety
    Jeffrey L Fox
    Nature Biotechnology, 2007, 25 : 150 - 151
  • [29] Inferring Common Language Infrastructure Metadata for an Ambiguous Dynamic Language Type
    Misek, Jakub
    Fistein, Benjamin
    Zavoral, Filip
    2016 IEEE CONFERENCE ON OPEN SYSTEMS, 2016, : 111 - 116
  • [30] Developing a common language for evaluation questions in quality and safety improvement
    Lambert, Mark F.
    Shearer, Heather
    QUALITY & SAFETY IN HEALTH CARE, 2010, 19 (04): : 266 - 270
12345