The following pages link to LPTP (Q14470):
Displaying 5 items.
- Finite-tree analysis for constraint logic-based languages (Q817224) (← links)
- Towards proving type safety of .NET CIL (Q941469) (← links)
- Towards proving type safety of \(\mathrm{C}^{\#}\) (Q1749247) (← links)
- Formal specification and verification of the C\(\#\) thread model (Q2571209) (← links)
- Correctness and Completeness of Logic Programs (Q5277919) (← links)
