...
机译:编程语言的语义:使用Asf + Sdf
Department of Computer Science, Swansea University, Singleton Park, Swansea SA2 8PP, UK;
Component-based semantics; Action semantics; ASF+SDF; Modularity; Reuse;
机译:概率编程语言中的一些语义问题(特邀演讲)
机译:Kripke语义对于高阶类型理论应用于约束逻辑编程语言
机译:编程语言和操作语义:简要概述
机译:制定计划编程语言的兼容和可互换语义规范,第一部分:指称语义,自然语义和抽象机器
机译:并行编程语言中共享变量的语义
机译:双语能力对自由召回输出中的召回准确性和语义聚类的影响:跨语言共享语义关联的证据
机译:语义Web语言和语义Web服务作为答案集编程的应用领域