TU Darmstadt / ULB / TUbiblio

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

Mitschke, Ralf and Sewe, Andreas and 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 .
[Conference or Workshop Item] , (2011)

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

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.

Item Type: Conference or Workshop Item
Erschienen: 2011
Creators: Mitschke, Ralf and Sewe, Andreas and Mezini, Mira
Title: Magic for the Masses: Safer High-level Low-level Programming through Customizable Static Analyses
Language: English
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.

Title of Book: Proceedings of the 1st workshop on Modularity in Systems Software
Series Name: ACM Digital Library
Divisions: Department of Computer Science
Department of Computer Science > Software Technology
LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
Zentrale Einrichtungen
LOEWE
LOEWE > LOEWE-Zentren
Event Title: First workshop on Modularity in Systems Software
Event Location: Porto de Galinhas, Brazil
Event Dates: 22 Mar 2011
Date Deposited: 21 May 2011 12:02
Official URL: http://dx.doi.org/10.1145/1960518.1960522
Identification Number: doi:10.1145/1960518.1960522
Related URLs:
Alternative keywords:
Alternative keywordsLanguage
Java annotations, Jikes RVM, high-level low-level programming, static analysesEnglish
Export:

Optionen (nur für Redakteure)

View Item View Item