Invia software
  1. Casa
  2. Linux
  3. Altro
  4. The Aegis VM Project

The Aegis VM Project 0.2.0

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 3.0/5 - ‎1 ‎Voti
Scaricare

Il progetto Aegis VM è uno sforzo continuo per implementare un macchina virtuale sicura per l'esecuzione di bytecode Java. Alla fine sarà caratterizzato da un architettura modulare, Proof Linking, che supporta moduli di verifica.

cronologia delle versioni

  • Versione 0.2.0 pubblicato il 2004-06-26
    Diverse correzioni e aggiornamenti
  • Versione 0.2.0 pubblicato il 2004-06-26

Dettagli del programma

Programmi correlati

  • Micro Grep Gratuito

    Questa è una versione semplificata di GNU Grep. Cercare un RegExp in un file contenente tutti i caratteri alfanumerici. Utilizzare simboli speciali come @ e # per estendere la ricerca. A questo punto è possibile impostare l'o

  • Vimuiex Gratuito

    Vimuiex è una libreria e un insieme di plugin per l'editor di testo Vim. Aggiunge una casella di riepilogo popup visualizzata in una finestra sovrapposta all'interno di Vim. Plugin: menu di testo, browser di file, elenco buff

  • toggleConsoleLog Gratuito

    toggleConsoleLog è un piccolo script in PHP che consente di attivare o disattivare il messaggio di debug nella console JavaScript del browser.

  • JUndo Gratuito

    JUndo è un linguaggio di programmazione dichiarativo orientato agli oggetti con caratteristiche funzionali e di programmazione intensionale. Le applicazioni includono l'annullamento a più livelli e il sofisticato recupero deg

  • MushroomDB Gratuito

    MushroomDB è un puro sistema di gestione del database relazionale multipiattaforma Java.Ci sono due obiettivi principali: creare un motore completamente conforme a SQL-92 e fornire meccanismi di estensibilità. Un driver JDB

  • RndExt Gratuito

    Programma di randomizzazione esteso. Supporta molti tipi di randomizzazione personalizzati e algorythm.

  • librpc-wii Gratuito

    L'obiettivo di questo progetto è una libreria rpc che implementa la remote procedure call specification (RFC 1057) e una libreria nfs3 che implementa la specifica RFC 1813 (Network File System v3 Specification) per devkitppc

  • MOBIDICK Gratuito

    MOBIDICK (MOdular But IntegrateD applICation frameworK) è dedicato a raccogliere il meno possibile framework Java al fine di completare tutte le esigenze delle grandi applicazioni aziendali e consentire la rigenerazione del c

  • NUnitAsp Code Generator Gratuito

    Uno strumento per generare classi di test del codice sorgente per NUnitAsp dalle pagine Web (tramite un URL) o analizzando .aspx pagine

  • Uninstall Master(Uninstaller) Prova gratuita

    Disinstalla Master(Uninstaller) ora rinomina in App Master, un potente strumento di app!√ È l'originale Uninstall Master(Uninstaller), l'unico miglior strumento di disinstallazione e app sul mercato.Introdurre: