机译:在动态编程的声明性框架中实现Courcelle定理
TU Wien, Inst Informat Syst, Vienna, Austria;
TU Wien, Inst Informat Syst, Vienna, Austria;
TU Wien, Inst Informat Syst, Vienna, Austria;
Answer set programming; tree decomposition; monadic second-order logic; Courcelle's Theorem; fixed-parameter tractability;
机译:用于分析二进制程序的有效动态Conolic执行框架的实现
机译:用于分析二进制程序的有效动态Conolic执行框架的实现
机译:Dytaint:针对x86二进制程序的新型轻量级三态动态污点分析框架的实现
机译:声明式动态规划作为Courcelle定理的替代实现
机译:通过基于梯度的框架和直接启发式动态规划来理解和分析近似动态规划
机译:校正:使用成对代数的通用声明性动态编程
机译:在声明规则规划中的错误和缺失答案的陈述调试的语义框架
机译:动态规划理论中的泛函方程。十一:限制定理