The following pages link to Logic Programming (Q5313206):
Displaying 7 items.
- Proof-carrying code from certified abstract interpretation and fixpoint compression (Q860842) (← links)
- Abstraction-carrying code: a model for mobile code safety (Q949170) (← links)
- Abstract interpretation of mobile systems (Q1772313) (← links)
- Automated techniques for provably safe mobile code. (Q1853627) (← links)
- Matching in security-by-contract for mobile code (Q2390033) (← links)
- Certificate size reduction in abstraction-carrying code (Q2909518) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705936) (← links)