...大的互补性，近年来出现了一些结 合这两种方法的研究．一种结合类型和逻辑方法的 研究是Xi的应用类型系统（applied type system， ATS）项目［5］，他们扩展类型系统，将程序状态引入 类型系统，依靠ATS与Hoare逻辑的相似性，以 AT...
基于4个网页-相关网页
尽管映射到SOAPElement对于特定的以数据为中心的应用是可以接受的，但对于强类型的系统通常不推荐这么做。
Although mapping to the SOAPElement is acceptable for certain data-centric applications, it is usually not recommended for those strongly typed systems.
WPAR的类型(系统和应用程序WPAR)。
在这个系列的文章中，感兴趣的类型是基本、扩展、系统、应用程序和委托(用在反射中)。
In this series of articles, the types of interest are the primordial, extension, system, application, and delegation (used in reflection).
应用推荐