论文部分内容阅读
函数式面向对象程序设计语言ＦＯＰＬ是笔者设计并实现的一种合成语言，本文在一个全称的抽象域上描述了ＦＯＰＬ语言的指称语义。
函数式面向对象语言FOPL的指称语义
【摘 要】
：
函数式面向对象程序设计语言ＦＯＰＬ是笔者设计并实现的一种合成语言，本文在一个全称的抽象域上描述了ＦＯＰＬ语言的指称语义。
【出 处】
：
计算机学报
【发表日期】
：
1994年7期
【基金项目】
：
国家自然科学基金,国家863高技术计划基金
其他文献
目的伤口封闭负压引流的技术运用于骨外露的治疗。方法利用武汉VSD公司的产品治疗骨外露患者20例。结果所有骨外露都被肉芽覆盖,肉芽新鲜,质量高。结论VSD封闭创面负压治疗骨