...
机译:安全地创建正确的子类而不会看到超类代码
downcalls; subclass; semantic fragile subclassing problem; subclassing contract; specification inheritance; method refinement; Java language; JML language;
机译:安全地创建正确的子类而不会看到超类代码
机译:基于PUF的模糊认证,不带纠错码
机译:在嵌入式存储器中使用无速度损失的纠错码:算法,实现和案例研究
机译:安全地创建正确的子类而不会看到超类代码
机译:模块化子类*验证:无需超类代码即可安全地创建正确的子类。
机译:全基因组蛋白编码库的比较揭示了在头针和Osteichthyes超类中免疫相关基因的快速进化
机译:模块化子类验证:无需父类代码即可安全地创建正确的子类