Towards proving type safety of \(\mathrm{C}^{\#}\)

DOI10.1016/j.cl.2009.03.001zbMath1387.68049OpenAlexW2018307912MaRDI QIDQ1749247

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

securityprogramming languagessemanticscompilerstype safety\(\mathrm{C}^{\#}\)

Mathematics Subject Classification ID

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

Related Items (1)

An operational semantics for object-oriented concepts based on the class hierarchy

Uses Software

• ML
• LPTP
• AsmL

Cites Work

• A high-level modular definition of the semantics of C\(_{\sharp}\)
• Towards proving type safety of .NET CIL
• A theory of type polymorphism in programming
• A mathematical definition of full Prolog
• Formal specification and verification of the C\(\#\) thread model
• The theoretical foundations of LPTP (a logic program theorem prover)
• Abstract State Machines
• Evolving Algebras 1993: Lipari Guide
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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