• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Federated Conference on Distributed Computing Techniques;IFIP WG 6.1 International Conference on Coordination Models and Languages >SFJ: An Implementation of Semantic Featherweight Java
【24h】

SFJ: An Implementation of Semantic Featherweight Java

机译：SFJ：语义权重Java的实现

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

There are two approaches to defining subtyping relations: the syntactic and the semantic approach. In semantic subtyping, one defines a model of the language and an interpretation of types as subsets of this model. Subtyping is defined as inclusion of subsets denoting types. An orthogonal subtyping question, typical of object-oriented languages, is the nominal versus the structural subtyping. Dardha et al. [11,12] defined boolean types and semantic subtyping for Featherweight Java (FJ) and integrated both nominal and structural subtyping, thus exploiting the benefits of both approaches. However, these benefits were illustrated only at a theoretical level, but not exploited practically. We present SFJ-Semantic Featherweight Java, an implementation of FJ which features boolean types, semantic subtyping and integrates nominal as well as structural subtyping. The benefits of SFJ, illustrated in the paper and the accompanying video (with audio/subtitles) [27], show how static type-checking of boolean types and semantic subtyping gives higher guarantees of program correctness, more flexibility and compactness of program writing.
机译：有两种定义子类型关系的方法：句法和语义方法。在语义子类型化中，人们将语言的一种模型和类型的解释定义为该模型的子集。子类型定义为包含表示类型的子集。面向对象语言的典型正交子类型问题是名词性子类型与结构性子类型。达达（Dardha）等人。 [11,12]为Featherweight Java（FJ）定义了布尔类型和语义子类型，并集成了名义子结构和结构子类型，从而充分利用了这两种方法的优势。但是，这些好处仅在理论上得到了说明，而没有得到实际的利用。我们介绍了SFJ语义权重Java，这是FJ的实现，具有布尔类型，语义子类型并集成了标称和结构子类型。论文和随附的视频（带有音频/字幕）[27]中说明了SFJ的好处，表明了布尔类型的静态类型检查和语义子类型如何为程序正确性提供了更高的保证，程序编写具有更大的灵活性和紧凑性。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号