Stacking them up: a comparison of virtual machines
ACSAC '01 Proceedings of the 6th Australasian conference on Computer systems architecture
A portable virtual machine for program debugging and directing
Proceedings of the 2004 ACM symposium on Applied computing
Towards proving type safety of .NET CIL
Science of Computer Programming
Oberon script: a lightweight compiler and runtime system for the web
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
A framework for certified program analysis and its applications to mobile-code safety
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
Hi-index | 0.00 |