Ready statement and memory access analysis; semi-expectation analysis; frequent statement and de-reference elimination analysis; certified code; distributed programs; semantics of programming languages; operational semantics; type systems;
机译:对势在必行和面向对象的分布式程序的频繁陈述和取消引用消除
机译:通过在分布式共享内存程序中复制顺序节来消除竞争
机译:根据Deutsches Krebsforschungszentrum质量保证计划分配的细菌菌株的抗药性测试中的常见重大错误。
机译:分布式计划频繁的陈述和解借消除
机译:忽视热带疾病消除计划的综合可持续发展框架:肯尼亚淋巴丝体消除计划的多种案例研究
机译:强制性和面向对象的分布式程序的频繁声明和取消引用消除
机译:通过复制分布式共享内存程序中的顺序节来消除竞争