LPTP

MaRDI QIDQ14470swMATHFDO

Official website https://www.sciencedirect.com/science/article/pii/S0743106697100139

Described by source

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

Cited in

(8)

• Correctness and completeness of logic programs
• HeerHugo
• AsmL
• ASMKeY
• Towards proving type safety of \(\mathrm{C}^{\#}\)
• 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