机译:度量语义简介:用于编程和规范语言的操作模型和指称模型
机译:Kripke语义对于高阶类型理论应用于约束逻辑编程语言
机译:基于形式化语言动态语义的形式规格,自动生成严格符合的测试
机译:在Verilog硬件描述语言的规范和动画中将操作语义,逻辑编程和精简编程相结合
机译:使用Mutuo语义捕获框架和概念图将依赖关系表征为语义关系的构建块
机译:探索语义深度学习以从PubMed系统评价和兽医临床笔记中构建可靠且可重复使用的一种健康知识
机译:可重用语义构建块中的逻辑编程语言规范
机译:使用可编程构建块识别常规语言