...
机译:归纳类型功能语言的指称成本语义
Verification; Semi-automatic complexity analysis;
机译:归纳类型功能语言的指称成本语义
机译:编程语言,平衡准度量和不动点的指称语义
机译:度量语义简介:用于编程和规范语言的操作模型和指称模型
机译:惰性函数语言的内在指称语义。
机译:数据库查询语言的定义明确,语义类型检查和类型推断。
机译:具有公开语义与句法语言功能的临床语言本地化的改进函数MR成像范式
机译:具有归纳法的函数式语言的指称代价语义 类型
机译:用递归和并发关系编程语言的指称和操作语义