Pages that link to "Item:Q5705936"
From MaRDI portal
The following pages link to Logic for Programming, Artificial Intelligence, and Reasoning (Q5705936):
Displaying 14 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)
- Abstraction-carrying code: a model for mobile code safety (Q949170) (← 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)
- Abstraction over implementation structure with symmetrically encapsulated multimethods (Q2442958) (← links)
- Certificate size reduction in abstraction-carrying code (Q2909518) (← links)
- Certification Using the Mobius Base Logic (Q3602993) (← links)
- Logic Programming (Q5313206) (← links)
- Certificate Translation in Abstract Interpretation (Q5458410) (← links)
- Programming Languages and Systems (Q5902363) (← links)
- Context-sensitive meta-constraint systems for explainable program analysis (Q6536146) (← links)