Optimized Representation Of Data Type Information in Program Verification

WO2004066145 Art A1 5. August 2004

Anmelder: SUN MICROSYSTEMS, INC. 🇺🇸

Details

Veröffentlichungs-Nr.: WO2004066145
Aktenzeichen: EP04702220
Anmeldetag: 14. Januar 2004
Veröffentlichung: 5. August 2004
Rechtsraum: WO
IPC: G06F9/445

Offizieller Volltext

Abstract

Für dieses Patent liegt uns kein Abstract vor.

Anmelder

Firma: SUN MICROSYSTEMS, INC.
Land: 🇺🇸 USA

🇺🇸 Sun Microsystems

Ehemaliger US-amerikanischer Hersteller von Servern, Workstations und Software, bekannt unter anderem für die Programmiersprache Java und das Betriebssystem Solaris. Das Unternehmen wurde 2010 von Oracle übernommen.

1.436 Patente in unserer Datenbank

Fachgebiete

Software & Datenverarbeitung

Vertreten von