The following pages link to (Q4283242):
Displayed 9 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- Towards proving type safety of .NET CIL (Q941469) (← links)
- Equivalence is in the eye of the beholder (Q1391750) (← links)
- Towards proving type safety of \(\mathrm{C}^{\#}\) (Q1749247) (← links)
- Mechanized semantics for the clight subset of the C language (Q2655325) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
- Abstract State Machines and the Inquiry Process (Q3586012) (← links)
- Engineering the SDL Formal Language Definition (Q3654897) (← links)
- (Q5866349) (← links)