机译:流量敏感型系统和环境演算
Department of Computing and Information Sciences, Kansas State University, Manhattan, KS 66506, USA;
ambient calculus; program analysis; type system; effect system; flow-sensitive analysis; behavior of mobile processes;
机译:面向广泛应用的类型化上下文感知环境演算
机译:使用过程演算维护移动系统环境
机译:从海豹演算到移动环境演算
机译:相依类型环境演算
机译:对上学期微积分主要主题的概念理解:肯塔基大学对三种微积分课程的研究。
机译:在1.5T MRI系统上的流动敏感的黑血脂血管造影血管敏感动脉的可视化:具有卒中和不带中风的对象的比较研究
机译:流量敏感型系统和环境演算