机译:将指称语义与Web服务的操作语义链接
机译:将指称语义与Web服务的操作语义链接
机译:从Verilog的代数语义到指称语义
机译:语义定向编译器生成中的指称语义转换
机译:面向语义的编译器的编译时评估和代码生成(代名词)。
机译:遗传电路编译器:生成组合具有Web语义和推理的遗传电路
机译:面向方案编程语言的兼容和可互换的语义规范,第一部分:指称语义,自然语义和抽象机器
机译:ada编译器验证摘要报告:证书编号:901129s1.11112 DDCInternational a / s DaCs 80386 Dms / Os ada编译器系统,版本4.6 IBm ps / 2型号80-311 => IBm ps / 2型号80-311