City University, Centre for Software Reliability, London, UK;
University of Valladolid, Valladolid, Spain;
机译:在通过静态分析减少断言运行时检查的开销方面需要进行一些权衡
机译:关于改进动态语言中的运行时检查
机译:通过术语隐藏实现运行时检查简化
机译:与运行时检查的设计经验
机译:使用运行时不变检查保护持久数据
机译:基于C ++向量访问的运行时边界检查导致性能下降的案例研究
机译:使用OCL和aspectJ在运行时检查设计约束