论文部分内容阅读
接续和直接指称语义之间的转换的主要难点在于不保函数基调.基于Monad思想推导出的接续语义函数和直接语义函数之间的关系,给出了基于规约的从接续指称语义描述形式到直接指称语义描述形式的转换技术,分别考虑了接续函数在不同情形下的处理.最后给出了转换算法的Haskell实现系统,验证了转换的可行性.
接续到直接的指称语义转换
【摘 要】
：
接续和直接指称语义之间的转换的主要难点在于不保函数基调.基于Monad思想推导出的接续语义函数和直接语义函数之间的关系,给出了基于规约的从接续指称语义描述形式到直接指
【机 构】
：
北京航空航天大学,北京科技大学,吉林大学
【出 处】
：
计算机研究与发展
【发表日期】
：
2004年期
其他文献
在奶牛(产奶量6000 kg以上)日粮干物质中按25 mg/kg精料添加乙酰氧肟酸、10 g/d·头过瘤胃蛋氨酸、13 g/d·头赖氨酸铁螯合物,对产奶量、乳脂率、乳蛋白和饲料转化率分别提高
采用实地访问和田间调查的方式,对江苏省句容市水稻—大棚草莓轮作农田生态系统施肥状况进行调查,并对氮、磷、钾输入输出的数量特征及其平衡状况进行了分析。结果表明,系统
对经过卫星搭载的培矮64S种子及后代进行了有关性状研究和SSR标记分析,结果表明:培矮64S空间诱变后代SP1代发芽率、存苗率、株高、抽穗期、株叶型的性状与对照相比没有明显变
Thermus thermophilus木糖异构酶在高果糖浆的工业生产及木糖发酵重组菌的构建方面具有极其广阔的应用前景.本文主要运用结构分析和分子对接及计算软件,确定了Mg2及木糖异构
目的介绍分类树模型筛选恶性肿瘤危险因素基本原理、运算法则和应用价值。方法以浙江省嘉善县乳腺癌现场调查数据为例,采用Exhaustive CHAID法建立分类树模型对调查结果进行
目的研究5-FC/CD：：UPRT联合基因治疗策略对胶质瘤细胞C6的杀伤效应。方法扩增yCD：：UPRT融合基因并构建含yCD：：UPRT基因的重组表达载体；载体转染包装细胞PT67,所获重组病毒转染胶质瘤
采用室内恒温好气培养试验,研究不同C/N有机物料腐解过程中有机磷的矿化特征与进程。结果表明:新鲜粪肥类有机物料中磷以无机磷(P i)为主,秸秆类有机物料中磷以有机磷(Po)为
在基础饲料中分别添加硒至0.0 mg·kg-1、0.2 mg·kg-1、0.4 mg·kg-1、0.6 mg·kg-1、0.8 mg·kg-1和1.0 mg·kg-1,分别饲喂鲈鱼(Lateolabrax japonicus) 10周,观察其对鲈鱼
对目前国内外主应力轴旋转条件(包括单向旋转和循环旋转)下土体性状研究的室内试验进行系统的分析与总结,得到以下结论:土体在不排水主应力轴旋转条件下产生孔压积累,这在主
本文用密度泛函理论(DFT)的总能计算研究了一氧化碳和氢原子在Ni(111)表面上p(2×2)共吸附系统的原子结构和电子态,结果表明CO和H原子分别被吸附于两个对角p(1×1)元胞的hcp