Towards proving type safety of .NET CIL
type: Item
instance of: scholarly article
title: Towards proving type safety of .NET CIL
zbMATH Open document ID: 1154.68359
author: Nicu G. Fruja
published in: Science of Computer Programming
publication date: 2008-09-01T00:00:00Z
Mathematics Subject Classification ID: 68N25
zbMATH DE Number: 5318689
zbMATH Keywords: type safety
zbMATH Keywords: bytecode verification
zbMATH Keywords: CLR
zbMATH Keywords: CIL
zbMATH Keywords: .NET
zbMATH Keywords: operational semantics
zbMATH Keywords: virtual machines
zbMATH Keywords: security
describes a project that uses: ML
describes a project that uses: LPTP
describes a project that uses: AsmL
MaRDI profile type: Publication
full work available at URL: j.scico.2008.05.004
OpenAlex ID: W2072260485
cites work: Programming Languages and Systems
cites work: Evolving Algebras 1993: Lipari Guide
cites work: Abstract State Machines
cites work: A high-level modular definition of the semantics of C\(_{\sharp}\)
cites work: Abstract State Machines 2004. Advances in Theory and Practice
cites work: Formal specification and verification of the C\(\#\) thread model
cites work: The theoretical foundations of LPTP (a logic program theorem prover)
cites work: Q5445117
cites work: Types and programing languages
cites work: A theory of type polymorphism in programming
cites work: Q2742791
cites work: Formal Methods for Components and Objects
cites work: Q4283242
cites work: Q4873990
cites work: Q4520504
cites work: A mathematical definition of full Prolog
DOI: 10.1016/J.SCICO.2008.05.004
Recommended article: Programming Languages and Systems
Recommended article: Formalizing the SAFECode Type System
Recommended article: Towards proving type safety of \(\mathrm{C}^{\#}\)
Recommended article: An expressive, scalable type theory for certified code
Recommended article: Safety analysis versus type inference for partial types
Recommended article: Q2763666
Recommended article: Interprocedural and flow-sensitive type analysis for memory and type safety of C code
Recommended article: The C\#-light project: solutions of some verification challenges
description: scientific article; zbMATH DE number 5318689