机译:Zephyr:在Prolog中迈向基于编译器的真正编程
机译:ProLogger Excels:NCFA的ProLogger程序继续关注安全性
机译:改进技术,用于验证呼叫流程完整性,用于对基于返回的编程攻击的基于编译器的防御
机译:基于编译器的工具,用于分析并行程序
机译:结合答案集编程和prolog:ASP-Prolog系统
机译:Prolog程序的模式敏感类型分析。
机译:寻求勇敢的成功措施:走向更严格的行业对药品计划的评估
机译:用于分析并行程序的基于编译器的工具
机译:基于编译器的编程支持功能