A portable virtual machine target for proof-carrying code (Q2566229)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A portable virtual machine target for proof-carrying code |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A portable virtual machine target for proof-carrying code |
scientific article |
Statements
A portable virtual machine target for proof-carrying code (English)
0 references
22 September 2005
0 references
Virtual machines
0 references
Proof-carrying code
0 references
Safe mobile code
0 references
Dynamic (just-in-time) compilation
0 references
