TU Darmstadt / ULB / TUbiblio

Magic for the Masses: Safer High-level Low-level Programming through Customizable Static Analyses

Mitschke, Ralf ; Sewe, Andreas ; Mezini, Mira :
Magic for the Masses: Safer High-level Low-level Programming through Customizable Static Analyses.
[Online-Edition: http://dx.doi.org/10.1145/1960518.1960522]
In: First workshop on Modularity in Systems Software, 22 Mar 2011, Porto de Galinhas, Brazil. In: ACM Digital Library .
[Konferenz- oder Workshop-Beitrag], (2011)

Offizielle URL: http://dx.doi.org/10.1145/1960518.1960522

Kurzbeschreibung (Abstract)

Writing high-performance virtual machines in a high-level language requires an escape-hatch, such that unavoidable low-level tasks can be performed efficiently. To this end, the org.vmmagic framework used by Jikes RVM and other VMs makes it possible to extend the Java language with the needed low-level facilities. For these facilities and the constraints they impose, though, tool support is almost non-existent, making it difficult for implementers not to violate the additional constraints imposed by the language extension. We thus propose an declarative approach based on customizable static analyses to make specification and checking of these constraints easily accessible to implementers.

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2011
Autor(en): Mitschke, Ralf ; Sewe, Andreas ; Mezini, Mira
Titel: Magic for the Masses: Safer High-level Low-level Programming through Customizable Static Analyses
Sprache: Englisch
Kurzbeschreibung (Abstract):

Writing high-performance virtual machines in a high-level language requires an escape-hatch, such that unavoidable low-level tasks can be performed efficiently. To this end, the org.vmmagic framework used by Jikes RVM and other VMs makes it possible to extend the Java language with the needed low-level facilities. For these facilities and the constraints they impose, though, tool support is almost non-existent, making it difficult for implementers not to violate the additional constraints imposed by the language extension. We thus propose an declarative approach based on customizable static analyses to make specification and checking of these constraints easily accessible to implementers.

Buchtitel: Proceedings of the 1st workshop on Modularity in Systems Software
Reihe: ACM Digital Library
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Fachbereich Informatik > Softwaretechnik
Zentrale Einrichtungen > CASED
Zentrale Einrichtungen
Veranstaltungstitel: First workshop on Modularity in Systems Software
Veranstaltungsort: Porto de Galinhas, Brazil
Veranstaltungsdatum: 22 Mar 2011
Hinterlegungsdatum: 21 Mai 2011 12:02
Offizielle URL: http://dx.doi.org/10.1145/1960518.1960522
ID-Nummer: 10.1145/1960518.1960522
Verwandte URLs:
Schlagworte in weiteren Sprachen:
Einzelne SchlagworteSprache
Java annotations, Jikes RVM, high-level low-level programming, static analysesEnglisch
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen