Mitschke, Ralf ; Sewe, Andreas ; Mezini, Mira (2011)
Magic for the Masses: Safer High-level Low-level Programming through Customizable Static Analyses.
First workshop on Modularity in Systems Software. Porto de Galinhas, Brazil (22 Mar 2011)
doi: 10.1145/1960518.1960522
Konferenzveröffentlichung, Bibliographie
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: | Konferenzveröffentlichung | ||||
|---|---|---|---|---|---|
| Erschienen: | 2011 | ||||
| Autor(en): | Mitschke, Ralf ; Sewe, Andreas ; Mezini, Mira | ||||
| Art des Eintrags: | Bibliographie | ||||
| Titel: | Magic for the Masses: Safer High-level Low-level Programming through Customizable Static Analyses | ||||
| Sprache: | Englisch | ||||
| Publikationsjahr: | 2011 | ||||
| Buchtitel: | Proceedings of the 1st workshop on Modularity in Systems Software | ||||
| Reihe: | ACM Digital Library | ||||
| Veranstaltungstitel: | First workshop on Modularity in Systems Software | ||||
| Veranstaltungsort: | Porto de Galinhas, Brazil | ||||
| Veranstaltungsdatum: | 22 Mar 2011 | ||||
| DOI: | 10.1145/1960518.1960522 | ||||
| Zugehörige Links: | |||||
| 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. |
||||
| Schlagworte: |
|
||||
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik 20 Fachbereich Informatik > Softwaretechnik LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt Zentrale Einrichtungen LOEWE LOEWE > LOEWE-Zentren |
||||
| Hinterlegungsdatum: | 21 Mai 2011 12:02 | ||||
| Letzte Änderung: | 05 Mär 2013 09:48 | ||||
| PPN: | |||||
| Schlagworte: |
|
||||
| Export: | |||||
| Suche nach Titel in: | TUfind oder in Google | ||||
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum