Tufts University Medford USA Swansea University Swansea UK;
Tufts University Medford USA;
Structural operational semantics; Big-step semantics; Small-step semantics; Interpreters; Transformation; Continuation-passing style; Functional programming;
机译:关于互导的小步和大步语义:无存储按需求值的案例研究
机译:多孔碳负载纳米纳米纳米型衍生自jerusalem朝鲜蓟秸秆的一种阶梯,用于溶液门的石墨烯晶体管的功能化,用于实时检测来自癌细胞代谢的乳酸
机译:通过一步法从废弃的食用油上通过环糊精衍生的新型磺酸官能化碳球超声辅助生产生物柴油:一种在短反应时间内生产生物柴油的方法
机译:一步一步一步从大步对应物中的小步评估员的功能推导
机译:(1R,2R)-N1,N2-二苄基环己烷-1,2-二胺作为立体选择性1,4共轭加成反应的助剂的合成;聚合物结合的(1R,2R)-1,2-环己二胺的构建以评价固相配对物,以及功能化寡聚噻吩的合成方法开发。
机译:大鼠粘膜肥大细胞:培养的骨髓肥大细胞在生物学上和功能上与其体内的对应物相似。
机译:关于互导的小步和大步语义的研究:无存储按需评估的案例研究