Automated techniques for provably safe mobile code

No abstract is available in the live database for this paper.

Authors

• Christopher Colby
• Karl Crary
• Robert Harper
• Peter Lee
• Frank Pfenning

Keywords

No keywords are indexed for this paper.