ML; Dynamic logic; Program specification; Program verification; KeY; AF2;
机译:用于动态可重配置处理器的细粒度和小配置数据量可编程逻辑模块的研究-灵活处理器的可编程逻辑元件
机译:用于动态可重新配置处理器的细粒度和小型配置数据量可编程逻辑模块的研究 - 灵活处理器的可编程逻辑元件
机译:信息流分析的逻辑,以及用于简单命令程序的正向切片的应用程序
机译:使用动态逻辑指定势在必先的ML类似程序
机译:线性逻辑和命令式编程。
机译:使用模糊逻辑和动态编程自动检测MR图像上的心脏轮廓。
机译:使用动态逻辑指定命令式mL类程序⋆
机译:逻辑编程能否像命令式编程一样快速执行?