Chandrasekhar Boyapati. Towards an extensible virtual machine. Technical Report TR-842, MIT Laboratory for Computer Science, April 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Proof Linking: Progress Report and Research Proposal - Fong (2002) (Correct)
....if one is to augment the existing type checking procedure of a production mobile code environment such as the JVM. This explains why it is very rare to see any of the mentioned work gets implemented in a realistic mobile code system, a phenomenon that partly motivates the proposal of the EVM [7]. In summary, the lack of modularity in the veri cation procedure prohibits a mobile code system from being extended to incorporate alternative protection mechanisms that are based on link time static analysis. 1.2 Thesis Statement This research advocates the adoption of a language independent ....
Chandrasekhar Boyapati. Towards an extensible virtual machine. Technical Report MIT-LCS-TR-842, MIT Laboratory for Computer Science, Cambridge, MA 02139, April 2002. Also available at http://www.pmg.lcs.mit.edu/~chandra/publications/evm.ps.
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (2 citations) Self-citation (Boyapati) (Correct)
No context found.
Chandrasekhar Boyapati. Towards an extensible virtual machine. Technical Report TR-842, MIT Laboratory for Computer Science, April 2002.
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (2 citations) Self-citation (Boyapati) (Correct)
No context found.
Chandrasekhar Boyapati. Towards an extensible virtual machine. Technical Report TR-842, MIT Laboratory for Computer Science, April 2002.
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (2 citations) Self-citation (Boyapati) (Correct)
No context found.
Chandrasekhar Boyapati. Towards an extensible virtual machine. Technical Report TR-842, MIT Laboratory for Computer Science, April 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC