英文字典中文字典


英文字典中文字典51ZiDian.com



中文字典辞典   英文字典 a   b   c   d   e   f   g   h   i   j   k   l   m   n   o   p   q   r   s   t   u   v   w   x   y   z       







请输入英文单字，中文词皆可：

subtyping    音标拼音: [s'ʌbt,ɑɪpɪŋ]

请选择你想看的字典辞典：
单词字典翻译
Subtyping查看　Subtyping　在百度字典中的解释百度英翻中〔查看〕
Subtyping查看　Subtyping　在Google字典中的解释Google英翻中〔查看〕
Subtyping查看　Subtyping　在Yahoo字典中的解释Yahoo英翻中〔查看〕

安装中文字典英文字典查询工具!


中文字典英文字典工具:
选择颜色:
输入中英文单字

































































英文字典中文字典相关资料:


  • Subtyping - Wikipedia
    Subtyping enables a given type to be substituted for another type or abstraction Subtyping is said to establish an is-a relationship between the subtype and some existing abstraction, either implicitly or explicitly, depending on language support
  • Sub: Subtyping - University of Pennsylvania
    Subtyping plays a fundamental role in many programming languages -- in particular, it is central to the design of object-oriented languages and their libraries
  • Lecture Notes on Subtyping - CMU School of Computer Science
    The notion of subtyping we consider here has been developed by Gay and Hole [2005] Although for a different underlying programming language, the result is essentially the same, except that in their setting the roles of sender and receiver are reversed from ours
  • Subtyping: Subtyping - Princeton University
    The principle of subtyping plays a fundamental role in many present-day programming languages -- in particular, it is closely related to the notion of subclassing in object-oriented languages
  • Lec15-Subtyping - Harvard University
    Subtyping and References What is the proper subtyping relationship for references and arrays? Suppose we have NonZero as a type and the division operation has type: Int -> NonZero -> Int Recall that NonZero <: Int Should (NonZero ref) <: (Int ref) ? Consider this program:
  • Subtyping - IIT
    Rules Sub-Depth and Sub-Depth-Sum are covariant: the subtyping relations of the types go in the same direction as their components Function subtyping is covariant in the result types but contravariant in the argument types!
  • 12 Subtyping - pages. github. khoury. northeastern. edu
    The general principle of safe subtyping is that if S <: T, it should be the case that it is safe to use S whenever one would use T; this is called the principle of safe substitution
  • Understanding Subtypes - Pomona
    5 4 Summary analysis of subtyping The subtyping rules for immutable record types included both bread h and depth subtyping That is, a subtype of a record type could include extra labeled elds (breadth) or could replace the type of one of the existing labeled elds by a sub





中文字典-英文字典  2005-2009