Pages that link to "Item:Q949170"
From MaRDI portal
The following pages link to Abstraction-carrying code: a model for mobile code safety (Q949170):
Displaying 9 items.
- Kripke semantics for higher-order type theory applied to constraint logic programming languages (Q683712) (← links)
- Proof-carrying code from certified abstract interpretation and fixpoint compression (Q860842) (← links)
- Automated techniques for provably safe mobile code. (Q1853627) (← links)
- Matching in security-by-contract for mobile code (Q2390033) (← links)
- An overview of Ciao and its design philosophy (Q2893101) (← links)
- Certificate size reduction in abstraction-carrying code (Q2909518) (← links)
- Logic Programming (Q5313206) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705936) (← links)
- Programming Languages and Systems (Q5902363) (← links)