Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Efficient Relational Calculation for Software Analysis
IEEE Transactions on Software Engineering
Defining and continuous checking of structural program dependencies
Proceedings of the 30th international conference on Software engineering
Demystifying magic: high-level low-level programming
Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments
A dependency constraint language to manage object-oriented software architectures
Software—Practice & Experience
Co-evolving code and design with intensional views
Computer Languages, Systems and Structures
Systematic mapping study on high-level language virtual machines
Virtual Machines and Intermediate Languages
Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders
Proceedings of the 33rd International Conference on Software Engineering
Hi-index | 0.00 |
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 nonexistent, 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