...
机译:并发面向对象程序的编程模型
Katholieke Universiteit Leuven;
aliasing; data races; local reasoning; modular reasoning; ownership; verification condition generation;
机译:矛盾图着色算法计算并发的面向对象程序切片
机译:多线程面向对象程序的共享变量并发分析
机译:计算并发的面向对象程序的动态切片
机译:并发面向对象程序的静态可验证编程模型
机译:简单的并发面向对象编程:基于生成器的实现
机译:强制性和面向对象的分布式程序的频繁声明和取消引用消除
机译:并发的面向对象程序的编程模型
机译:CsT中面向对象的并发编程