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 条
  • [41] ASSESSING THE NET PRICE LEVEL OF GENERICS IN GREECE: THE EFFECT OF COMPULSORY PAYBACKS
    Stefanidou, Z.
    Papadopoulos, K.
    Manias, N. G.
    Ollandezos, M.
    VALUE IN HEALTH, 2018, 21 : S177 - S177
  • [42] A Petri net model for changing units of learning in runtime
    Vidal, Juan C.
    Lama, Manuel
    Diaz-Hermida, Felix
    Bugarin, Alberto
    KNOWLEDGE-BASED SYSTEMS, 2013, 41 : 26 - 42
  • [43] Ethnicity, Language, and HIV Screening in Older Adult Safety-Net Patients
    Lucas, Jennifer A.
    Marino, Miguel
    Datta, Roopradha
    Chan, Brian L.
    Heintzman, John D.
    AMERICAN JOURNAL OF PREVENTIVE MEDICINE, 2023, 65 (01) : 112 - 116
  • [44] GENERIC PRONOUNS AND SEXIST LANGUAGE - THE OXYMORONIC CHARACTER OF MASCULINE GENERICS
    GASTIL, J
    SEX ROLES, 1990, 23 (11-12) : 629 - 643
  • [45] Eon: A Language and Runtime System for Perpetual Systems
    Sorber, Jacob
    Kostadinov, Alexander
    Garber, Matthew
    Brennan, Matthew
    Corner, Mark D.
    Berger, Emery D.
    SENSYS'07: PROCEEDINGS OF THE 5TH ACM CONFERENCE ON EMBEDDED NETWORKED SENSOR SYSTEMS, 2007, : 161 - 174
  • [46] XCML: A runtime representation for the context modelling language
    Robinson, Ricky
    Henricksen, Karen
    Indulska, Jadwiga
    FIFTH ANNUAL IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS WORKSHOPS, PROCEEDINGS, 2007, : 20 - 26
  • [47] Safety net
    Banks, H
    FORBES, 1996, 158 (04): : 146 - 146
  • [48] Caching Puts and Gets in a PGAS Language Runtime
    Ferguson, Michael P.
    Buettner, Daniel
    2015 9TH INTERNATIONAL CONFERENCE ON PARTITIONED GLOBAL ADDRESS SPACE PROGRAMMING MODELS (PGAS), 2015, : 13 - 24
  • [49] SAFETY NET
    Peet, Lisa
    LIBRARY JOURNAL, 2023, 148 (07) : 16 - 18
  • [50] SAFETY NET
    MIRANDA, TJ
    JOURNAL OF COATINGS TECHNOLOGY, 1983, 55 (702): : 7 - 7
12345