Gegenstand des DFG-geförderten Projektes ist die Entwicklung und Konzeptionierung von typsepariertem Bytecode. Mit seiner Hilfe sollen die besonders auf eingeschränkten Systemen für stackmaschinenbasierte Zwischencoderepräsentationen beobachtbaren Unzulänglichkeiten im Verifikationsprozess und Laufzeitverhalten abgestellt werden. Unter Verwendung von typsepariertem Bytecode als Zwischencoderepräsentation wird ein zu übertragendes Programm durch Konstruktion inhärent sicher. Weiterhin erlaubt die Typseparierung Programmannotationen in Form von einfach verifizierbaren Typerweiterungen auszudrücken. Durch die Verwendung von Annotationen wird es daraufhin möglich, Informationen zu der ausführenden Umgebung zu übermitteln. Diese Informationen können dann beispielsweise zur Erhöhung der Ausführungsgeschwindigkeit sowie Sicherheit des übertragenen Programms genutzt werden.
| EAZN >> |
demo_admin am 2008-02-06 09:00:15 | 
Login
