A major problem for object-oriented frameworks and class libraries is how to provide enough information about an extensible superclass so that programmers can safely create new subclasses without studying superclass code. The goal of my work is to determine what information is needed so library providers do not have to give away the code of library superclasses. A closely related goal is to provide guidelines that simplify reasoning about classes that inherit from such frameworks and class libraries. The long-term goal of my research is to develop tool support to automatically generate some of the necessary documentation and to assist programmers in reasoning about how to create correct subclasses.
面向对象的框架和类库的主要问题是如何提供有关可扩展超类的足够信息,以便程序员无需研究超类代码即可安全地创建新的子类。我的工作目标是确定需要什么信息,以便图书馆提供者不必放弃图书馆超类的代码。一个密切相关的目标是提供指导,以简化从此类框架和类库继承的类的推理。我研究的长期目标是开发工具支持,以自动生成一些必要的文档,并帮助程序员推理如何创建正确的子类。 P>
机译:安全地创建正确的子类而不会看到超类代码
机译:通过纠错歧管子类的输出代码分类对视频图像中的行人进行检测
机译:基于PUF的模糊认证,不带纠错码
机译:安全地创建正确的子类而不会看到超类代码
机译:模块化子类*验证:无需超类代码即可安全地创建正确的子类。
机译:全基因组蛋白编码库的比较揭示了在头针和Osteichthyes超类中免疫相关基因的快速进化
机译:模块化子类验证:无需父类代码即可安全地创建正确的子类