Towards proving type safety of C^\#

DOI10.1016/J.CL.2009.03.001MaRDI QIDQ1749247zbMATH OpenOpenAlexFDO

Authors Nicu G. Fruja

Publication date 16 May 2018

Published in Computer Languages, Systems \& Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.cl.2009.03.001

zbMATH Keywords

\(\mathrm{C}^{\#}\)compilersprogramming languagessecuritysemanticstype safety

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55)

Recommendations

• Towards proving type safety of .NET CIL
• Programming Languages and Systems
• A sound polymorphic type system for a dialect of \(C\)
• Formal specification and verification of the C\(\#\) thread model
• Typing a multi-language intermediate code

Cites work

• A high-level modular definition of the semantics of C\(_{\sharp}\)
• A mathematical definition of full Prolog
• A theory of type polymorphism in programming
• Abstract State Machines
• Annotated C\# standard
• Evolving Algebras 1993: Lipari Guide
• Formal specification and verification of the C\(\#\) thread model
• scientific article; zbMATH DE number 1650458 (Why is no real title available?)
• scientific article; zbMATH DE number 515739 (Why is no real title available?)
• scientific article; zbMATH DE number 1543051 (Why is no real title available?)
• scientific article; zbMATH DE number 868106 (Why is no real title available?)
• The theoretical foundations of LPTP (a logic program theorem prover)
• Towards proving type safety of .NET CIL
• Types and programing languages

Cited in

(4)

• A high-level modular definition of the semantics of C\(_{\sharp}\)
• Programming Languages and Systems
• An operational semantics for object-oriented concepts based on the class hierarchy
• Towards proving type safety of .NET CIL

Describes a project that uses

Uses Software

• ML
• LPTP
• AsmL

This page was built for publication: Towards proving type safety of \(\mathrm{C}^{\#}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1749247)