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