behavioral subtyping

名詞

不可算名詞

(programming, language theory) A subtype relation of the form that each subtype object satisfies the specification of the supertype.

日本語の意味

振る舞いの部分型：プログラミングや言語理論において、各サブタイプ（派生型）のオブジェクトが、スーパタイプ（基底型）の仕様を必ず遵守するというサブタイプ関係を指す。

In type theory, behavioral subtyping ensures that every object of a subtype adheres to the specification of its supertype.

型理論において、各サブタイプのオブジェクトがスーパタイプの仕様を満たすようなサブタイプ関係は、サブタイプのオブジェクトがスーパタイプの仕様に適合することを保証します。

意味（1）

(programming, language theory) A subtype relation of the form that each subtype object satisfies the specification of the supertype.