论文部分内容阅读
函数式面向对象程序设计语言ＦＰＯＬ，是笔者设计并实现的一种同时支持函数式程序设计和面向对象程序设计的合成型智能语言。本文在一个全称抽象域上描述了它的指称语义，进而讨论了一个和该指称语义计算一致的按值调用的操作语义。
合成型语言FOPL的语义研究
【摘 要】
：
函数式面向对象程序设计语言ＦＰＯＬ，是笔者设计并实现的一种同时支持函数式程序设计和面向对象程序设计的合成型智能语言。本文在一个全称抽象域上描述了它的指称语义，进而讨论了一个
【机 构】
：
北京大学计算机科学技术系,上海交通大学计算机科学工程系
【出 处】
：
电子学报
【发表日期】
：
1995年2期
【基金项目】
：
国家自然科学基金，863高科技计划资助
其他文献
黑龙江省大庆市按照建设生态市和国家园林城市的要求，以实施可持续发展战略和促进经济增长方式转变为中心，以治水、造林、复草、净气四大工程为重点，以改善生态环境质量和维护区
试验研究不同腐殖酸复合肥施用量对辣椒产量及其养分利用率的影响结果表明,随施肥量的增加而辣椒叶片N、P、K累积量逐渐增大,果实N、P、K累积量呈二次抛物线趋势变化,且施肥
应用4种不同的培养方式，分别就不同状态培养基、用量及添加时期对试管苗和试管薯的生长发育的影响研究结果表明，与固体培养基相比，采用液体培养基减量、分次添加使用方法试管苗