LPTP

swMATH1822MaRDI QIDQ14470FDOQ14470

Author name not available (Why is that?)

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