机译:Java建模语言更快,更完整的扩展静态检查
Dependable Software Research Group, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada;
Dependable Software Research Group, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada;
extended static checking; static verification; theorem provers; java modeling language; JML4; ESC; ESC4;
机译:Java的扩展静态检查
机译:动态语言的即时静态类型检查
机译:STLlint:将静态检查从语言提升到库
机译:延长静态检查Java
机译:Java建模语言的运行时断言检查器。
机译:BEL2ABM:生物表达语言中基于代理的静态模型仿真
机译:更快,更完整的Java建模语言扩展静态检查