In this paper, we mainly discuss the axiomatic semantics of class and polymorphism for Java, including the correlative component.

  • 本文以Java语言为背景,重点讨论了类的继承和多态性的公理语义,同时也给出了必要的及相关的语言成分的公理语义。

  • 互联网摘选 2025-01-20 12:47:52

    • 相关例句
    精确
    • 模糊
    • 词首
    • 词尾
    • 词义
    • 例句