Towards proving type safety of .NET CIL
From MaRDI portal
Publication:941469
DOI10.1016/j.scico.2008.05.004zbMath1154.68359MaRDI QIDQ941469
Publication date: 1 September 2008
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.scico.2008.05.004
operational semantics; security; virtual machines; type safety; bytecode verification; .NET; CIL; CLR
68N25: Theory of operating systems
Related Items
Towards proving type safety of .NET CIL, Towards proving type safety of \(\mathrm{C}^{\#}\), The Subject-Oriented Approach to Software Design and the Abstract State Machines Method
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
- Formal Methods for Components and Objects
- Programming Languages and Systems
- Abstract State Machines 2004. Advances in Theory and Practice