【24h】

Featherweight java a minimal core calculus for java and GJ

机译:轻量级Java是Java和GJ的最小核心演算

获取原文
获取原文并翻译 | 示例

摘要

Several recent studies have introduced lihtweiht verisons of Java: reduced languages in which complex features like threads and reflection are dropped to enable rigorous arguments about key properties such as type safety.We carry this process a step further,omitting almost all features of the full language (including interfaces and even assignment) to obtain ia small calculeus,featherweight java,for which rigorous proofs are not only possible but easy.
机译:最近的几项研究引入了Java的合法版本:精简的语言,其中删除了诸如线程和反射之类的复杂功能,以便能够对诸如类型安全之类的关键属性进行严格的论证。我们进一步推进了这一过程,省略了全部语言的几乎所有功能(包括接口,甚至是赋值)来获得一个小的计算量,为此,严格的证明不仅可能而且容易。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号