类型约束相关论文
泛型程序设计通过从更高的层次对具体的算法和数据结构进行抽象,提高了软件的可扩展性、复用性和类型安全性,它主要是基于一系列自......
表面上C#泛型的语法看起来与C＋＋模板类似，但是编译器实现和支持它们的方式存在重要差异．本文针对C＋＋模板和C静泛型进行了一系列比较，探讨......
泛化关系重构是一类非常重要的重构方法，能否实施这类重构取决于程序中的类型约束．本文针对现有泛化关系重构方法在处理泛型程序时不......
类型分析是反编译整个流程中的重要模块,其分析效果会对反编译所输出的高级语言的可读性与准确性产生极大的影响。文章所讨论的是......
用正则树表示的XML数据中对XPath的决策问题,是大数据查询中常见的方法之一,本文提出了一套实用的、有效的数学模型来解决XPath表......
为恢复变量的数据类型信息并提高反编译的质量,提出一种基于规则的数据类型重构方法。采用静态和动态相结合的分析方式,将可执行代......
该文对面向对象和泛型程序设计 (genericprogramming)的核心思想和方法进行了较为深入的分析 ,阐明了各自的目标、技术特征及其优......
