The following pages link to (Q4823138):
Displaying 12 items.
- Proof-carrying code from certified abstract interpretation and fixpoint compression (Q860842) (← links)
- A syntactic approach to foundational proof-carrying code (Q1826465) (← links)
- A trustworthy proof checker (Q1826468) (← links)
- Automated techniques for provably safe mobile code. (Q1853627) (← links)
- Building certified libraries for PCC: dynamic storage allocation (Q1887734) (← links)
- Safe functional systems through integrity types and verified assembly (Q2220814) (← links)
- Estimating the volume of solution space for satisfiability modulo linear real arithmetic (Q2345986) (← links)
- A portable virtual machine target for proof-carrying code (Q2566229) (← links)
- (Q4261077) (← links)
- (Q5173658) (← links)
- Term Rewriting and Applications (Q5703864) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705954) (← links)