Pages that link to "Item:Q5705934"
From MaRDI portal
The following pages link to Logic for Programming, Artificial Intelligence, and Reasoning (Q5705934):
Displaying 9 items.
- Relational bytecode correlations (Q710672) (← links)
- Proof-carrying code from certified abstract interpretation and fixpoint compression (Q860842) (← links)
- Integration of a security type system into a program logic (Q935469) (← links)
- Program and proof optimizations with type systems (Q953533) (← links)
- A type-based complexity analysis of object oriented programs (Q1640983) (← links)
- Verified software units (Q2233451) (← links)
- A program logic for resources (Q2463560) (← links)
- Certification Using the Mobius Base Logic (Q3602993) (← links)
- Safety Guarantees from Explicit Resource Management (Q3602994) (← links)