Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:15888113n
Noun Concept
Categories: 型理論, オブジェクト指向, 型システム, ポリモーフィズム (計算機科学)
JA
サブタイピング  派生型  サブタイプ  サブタイプ多相  部分型
JA
サブタイピング（英: subtyping）や部分型とは、型のポリモーフィズムの形態であり、上位と定義された型を、その下位と定義された型で、型安全性に則って代替できるというプログラミング言語理論の概念および実装を意味している。 Wikipedia
English:
object-oriented programming
Definitions
Relations
Sources
JA
サブタイピング（英: subtyping）や部分型とは、型のポリモーフィズムの形態であり、上位と定義された型を、その下位と定義された型で、型安全性に則って代替できるというプログラミング言語理論の概念および実装を意味している。 Wikipedia
IS A
ポリモーフィズム
Wikipedia
JA
サブタイピング (計算機科学)
Wikidata
JA
派生型
Wikipedia Redirections
JA
サブタイピング, サブタイプ (計算機科学), 部分型
Wikidata Alias
JA
サブタイピング, サブタイプ, サブタイプ多相
Wikipedia Translations
JA
サブタイプ

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License