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 条
  • [31] RML: Runtime Monitoring Language A System-Agnostic DSL for Runtime Verification
    Franceschini, Luca
    PROGRAMMING 2019: PROCEEDINGS OF THE CONFERENCE COMPANION OF THE 3RD INTERNATIONAL CONFERENCE ON ART, SCIENCE, AND ENGINEERING OF PROGRAMMING, 2019,
  • [32] A common type system for clinical natural language processing
    Wu, Stephen T.
    Kaggal, Vinod C.
    Dligach, Dmitriy
    Masanz, James J.
    Chen, Pei
    Becker, Lee
    Chapman, Wendy W.
    Savova, Guergana K.
    Liu, Hongfang
    Chute, Christopher G.
    JOURNAL OF BIOMEDICAL SEMANTICS, 2013, 4
  • [33] A common type system for clinical natural language processing
    Stephen T Wu
    Vinod C Kaggal
    Dmitriy Dligach
    James J Masanz
    Pei Chen
    Lee Becker
    Wendy W Chapman
    Guergana K Savova
    Hongfang Liu
    Christopher G Chute
    Journal of Biomedical Semantics, 4
  • [34] PROPER NAMES IN AN HISTORICAL DICTIONARY OF THE COMMON LANGUAGE TYPE
    SMOLITSKAYA, GP
    ZEITSCHRIFT FUR SLAWISTIK, 1984, 29 (01): : 33 - 38
  • [35] FDA proposes faster safety info updates for generics
    Reactions Weekly, 2013, 1478 (1) : 4 - 4
  • [36] Cross-Language Interoperability in a Multi-Language Runtime
    Grimmer, Matthias
    Schatz, Roland
    Seaton, Chris
    Wuerthinger, Thomas
    Lujan, Mikel
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2018, 40 (02):
  • [37] XRT- Exploring Runtime for .NET Architecture and Applications
    Grieskamp, Wolfgang
    Tillmann, Nikolai
    Schulte, Wolfram
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 144 (03) : 3 - 26
  • [38] Enforcing Safety at Runtime for Systems with Disturbances
    Abate, Matthew
    Coogan, Samuel
    2020 59TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2020, : 2038 - 2043
  • [39] Runtime Verification of C Memory Safety
    Rosu, Grigore
    Schulte, Wolfram
    Serbanuta, Traian Florin
    RUNTIME VERIFICATION, 2009, 5779 : 132 - +
  • [40] Runtime Safety Analysis for Safe Reconfiguration
    Priesterjahn, Claudia
    Heinzemann, Christian
    Schaefer, Wilhelm
    Tichy, Matthias
    2012 10TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2012, : 1092 - 1097
12345