Pages that link to "Item:Q5705936"
From MaRDI portal
The following pages link to Logic for Programming, Artificial Intelligence, and Reasoning (Q5705936):
Displaying 9 items.
- Proof-carrying code from certified abstract interpretation and fixpoint compression (Q860842) (← links)
- Type systems equivalent to data-flow analyses for imperative languages (Q860844) (← links)
- Program and proof optimizations with type systems (Q953533) (← links)
- Reusing predicate precision in value analysis (Q2165503) (← links)
- Verified software units (Q2233451) (← links)
- Provably correct runtime monitoring (Q2390029) (← links)
- Certification Using the Mobius Base Logic (Q3602993) (← links)
- Certificate Translation in Abstract Interpretation (Q5458410) (← links)
- Context-sensitive meta-constraint systems for explainable program analysis (Q6536146) (← links)
