机译:带切口的Prolog的操作和目标无关的指称语义
Prolog; Logic programming; Abstract interpretation; Cut; Divergence; Abstract interpretation; Fixpoint semantics;
机译:带切口的Prolog的操作和目标无关的指称语义
机译:将指称语义与Web服务的操作语义链接
机译:将指称语义与Web服务的操作语义链接
机译:Prolog程序的路径依赖分析的目标无关语义
机译:Smythe完成:用于指称语义和复杂性分析的通用拓扑基础。
机译:思维操作语义学与大脑操作建筑学:一种对应关系
机译:带切口的Prolog的操作和目标无关的指称语义
机译:具有切割的prolog-like语言的操作和指称语义的等价性