The Aegis VM Project is an on-going effort to implement a lightweight, secure virtual machine for executing Java bytecode. It will eventually feature a modular architecture, Proof Linking, that supports pluggable verification modules.
Browse Files for The Aegis VM Project
| File/Folder Name | Platform | Size | Date ↓ | Downloads | Notes/Subscribe |
|---|---|---|---|---|---|
| Subdirectory (view all files) | |||||
| prelude | 293.8 KB | 2004-06-25 | 701 | Subscribe Folder view | |
| 0.2.0 | 293.8 KB | 2004-06-25 | 701 | Subscribe Folder view | |
| prelude-0.2.0.tar.gz | 293.8 KB | 2004-06-25 | 701 | Release Notes | |
About SourceForge
Develop Software
Community
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
