论文部分内容阅读
文章研究部分求值技术中的约束时间分析，介绍了一种高阶的函数式语言－ＦＳＬ语言的部分求值器的ＢＴＡ。
实现函数式语言部分求值器的约束时间分析
【摘 要】
：
文章研究部分求值技术中的约束时间分析，介绍了一种高阶的函数式语言－ＦＳＬ语言的部分求值器的ＢＴＡ。
【机 构】
：
北京工业大学计算机学院
【出 处】
：
计算机工程与科学
【发表日期】
：
1997年1期
【基金项目】
：
国家自然科学基金,北京市自然科学基金
其他文献
本论文是通过对中韩两国近代文学代表作家鲁迅和金东仁短篇小说中女性形象的比较研究考察其形象的相似性与差异性为出发点,以及探明其原因以及文学史上的意义而写的。为此首
职业精神应该兼具科学精神和人文精神,高职院校对职业精神培育重视程度不高,培育方式单一,学生在敬业精神、团队合作意识和精益求精等层面存在一定问题。要完善融合职业精神
由于Ｄｅｖｅｌｏｐｅｒ／２０００数据操作界面对结构经常改变的数据对象（如表、视图等）缺乏适应性和灵活性，我们介绍了一种基于动态ＳＱＬ技术的解决方法。
随着中国经济的迅速发展和文化自觉、自信的不断增强,中国设计界掀起了一股“复古风”。然而,大多是把中国结、剪纸、皮影、蜡染等民族符号引入到设计画面完事,致使中国设计
【摘要】结合慕课和LBL教学模式的优点，采用了线上线下混合式教学模式对生物化学课程中某些章节进行了改革与实践，并构建了基本教学程序。生物化学的教学过程无法全盘脱离传统的LBL教学模式，并不适合在整个课程的教学过程中全面性开展与实施混合式教学模式。 【关键词】线上线下 混合式教学 生物化学 近年来，随着高校课程改革的开展，“以学生为中心”的教学理念被普及与接受，如PBL、CBL、TBL、微课、慕
近几十年来，复合材料的制备与表征得到了化学、物理以及材料科学家们的极大关注，他们对研发具有独特物理性质的新材料等方面尤为感兴趣。今天，与功能复合材料制备相关的化学研究
文本解读能力是学生自学能力的重要标志,本文结合数学学科实际,以函数单调性为例,探讨出了用文字语言解读教材文本,用图象语言解读教材文本,用符号语言解读教材文本,用辩证观
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
精美绝伦的陶瓷工艺品，是中华文明古国最值得骄傲的艺术瑰宝。每每与学生们共赏，自豪的表情总会油然而生。联系到河姆渡“黑陶艺术”及与之求证下的七千年古文明史时，师生们对陶
本文以我国的证券发行制度为研究对象，对我国证券发行制度进行了深入分析，指出了我国证券发行制度存在的问题及解决途径，为我国证券制度改革提出了一些有益的参考建议。 选题