Algebraic Compilation of Safety-Critical Java Bytecode

机译：安全关键Java字节码的代数编译

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Baxter J.; Cavalcanti A. L. C.;
展开▼
作者单位

展开▼
年度 2017
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Polymorphic bytecode: Compositional compilation for Java-like languages [J] . Ancona D, Damiani F, Drossopoulou S, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2005,第1期

机译：多态字节码：类似Java语言的组合编译
2. Checking secure information flow in Java bytecode by code transformation and standard bytecode verification [J] . C. Bernardeschi, N. De Francesco, G. Lettieri, Software . 2004,第13期

机译：通过代码转换和标准字节码验证来检查Java字节码中的安全信息流
3. PicoJava: a direct execution engine for Java bytecode [J] . McGhan H., OConnor M. Computer . 1998,第10期

机译：PicoJava：Java字节码的直接执行引擎
4. Algebraic Compilation of Safety-Critical Java Bytecode [C] . James Baxter, Ana Cavalcanti International Conference on Integrated Formal Methods . 2017

机译：安全关键Java字节码的代数编译
5. Efficient bytecode verification and compilation in a virtual machine. [D] . Gal, Andreas. 2006

机译：在虚拟机中进行高效的字节码验证和编译。
6. Mobile Code Anti-Reversing Scheme Based on Bytecode Trapping in ART [O] . Geonbae Na, Jongsu Lim, Sunjun Lee, 2019

机译：ART中基于字节码捕获的移动码防逆方案
7. A simplified java bytecode compilation system for resource-constrained embedded processors [O] . Carmen Badea, Ru Nicolau, Er V. Veidenbaum 2007

机译：用于资源受限的嵌入式处理器的简化的Java字节码编译系统

Algebraic Compilation of Safety-Critical Java Bytecode

著录项

引文网络

相似文献

相关主题

期刊订阅