Tech. Univ. of Darmstadt, Darmstadt, Germany;
Tech. Univ. of Darmstadt, Darmstadt, Germany;
Debugging; Programming; Reactive power; Navigation; Software engineering; Observers; Animation;
机译:将概率推理纳入反应式程序调试系统
机译:用于可视化数据的可视化调试技术
机译:多宇宙调试:非确定性程序的非确定性调试(勇敢的新想法论文)
机译:用反应检测器调试无功规划
机译:实时反应性系统的功能性反应性编程。
机译:复杂的叶绿体RNA代谢:只是调试遗传程序?
机译:测试和调试功能性反应式编程