concurrent programs; pushdown systems; model checking; interprocedural dataflow analysis; procedure summaries; transactions; reduction;
机译:并发程序中的程序摘要
机译:带有程序的并发程序静态分析的通用方法
机译:具有过程的并发程序静态分析的通用方法
机译:总结并发程序中的过程
机译:并发和非并发逻辑程序的高级Petri网语义。
机译:真正的超模穿着羊毛:总结怀孕绵羊作为适应性胎儿编程的动物模型的影响
机译:总结并发程序中的过程
机译:分类aET项目和总结DOE小额赠款计划的分析程序。最终报告,1978-1979