机译:古巴:对并发计划的移植内容无限性分析
College of Computer and Information Science Northeastern University Boston MA United States;
College of Computer and Information Science Northeastern University Boston MA United States;
Interprocedural Analysis; Context Bound; Concurrent Program; Recursion; Stack;
机译:古巴:对并发计划的移植内容无限性分析
机译:程序间并发程序的精确切片
机译:并发程序的关系式过程间验证
机译:上下文约束下并发程序的过程间分析
机译:过程间分析和并发程序的验证。
机译:分析古巴卫生援助方案在太平洋人力资源方面的政策影响和挑战
机译:上下文绑定下并发程序的过程间分析