Languages; Design; Aspect-oriented programming; Linear temporal logic; Synthesis;
机译:多宇宙调试:非确定性程序的非确定性调试(勇敢的新想法论文)
机译:Debugopt:使用多阶段工具调试完全优化的本机编译程序
机译:重播调试:利用记录和重播进行程序调试
机译:AspectLTL程序的双向可追溯性和冲突调试
机译:跟踪驱动的方法,用于测试和调试并发程序。
机译:复杂的叶绿体RNA代谢:只是调试遗传程序?
机译:aspectLTL程序的双向可跟踪性和冲突调试*