Computer logic; Computer programming; Programming languages; Theses; Prolog programming language;
机译:在Maude中执行和验证高阶功能命令程序
机译:Orc的可执行重写逻辑语义和Orc程序的形式分析
机译:信息流分析的逻辑,以及用于简单命令程序的正向切片的应用程序
机译:通过约束逻辑程序分析命令式程序
机译:微体系结构和综合编译器,用于高效执行命令式语言程序。
机译:通过链接到书目搜索来扩展诊断决策支持程序的功能:在快速医学参考(QMR)程序中添加罐装MeSH逻辑以与Grateful Med一起使用。
机译:基于时间间隔逻辑的可执行形式化逻辑编程语言