LPTP

swMATH1822MaRDI QIDQ14470FDOQ14470

Author name not available (Why is that?)

Described by source

• The theoretical foundations of LPTP (a logic program theorem prover)

Cited In (5)

• Towards proving type safety of \(\mathrm{C}^{\#}\)
• Correctness and Completeness of Logic Programs
• Formal specification and verification of the C\(\#\) thread model
• Towards proving type safety of .NET CIL
• Finite-tree analysis for constraint logic-based languages

This page was built for software: LPTP