The following pages link to Nicu G. Fruja (Q555779):
Displayed 6 items.
- A high-level modular definition of the semantics of C\(_{\sharp}\) (Q555781) (← links)
- Towards proving type safety of .NET CIL (Q941469) (← links)
- Towards proving type safety of \(\mathrm{C}^{\#}\) (Q1749247) (← links)
- (Q4413682) (← links)
- Programming Languages and Systems (Q5899024) (← links)
- Abstract State Machines 2004. Advances in Theory and Practice (Q5901598) (← links)