切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
函数式面向对象语言FOPL的指称语义
函数式面向对象语言FOPL的指称语义
来源 :计算机学报 | 被引量 : 0次 | 上传用户:wahuhihi
【摘 要】
:
函数式面向对象程序设计语言FOPL是笔者设计并实现的一种合成语言,本文在一个全称的抽象域上描述了FOPL语言的指称语义。
【作 者】
:
梅宏
孙永强
【出 处】
:
计算机学报
【发表日期】
:
1994年7期
【关键词】
:
面向对象
程序语言
FOPL语言
Functional programming
object-oriented programming
programmin
【基金项目】
:
国家自然科学基金,国家863高技术计划基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
函数式面向对象程序设计语言FOPL是笔者设计并实现的一种合成语言,本文在一个全称的抽象域上描述了FOPL语言的指称语义。
其他文献
包皮环切术后出血的原因及处理
本文主要阐述我院包皮环切术治疗580例患者中术后出血8例的原因分析和处理,旨在为临床上包皮环切术术后出血的处理提供行之有效的参考。
期刊
包茎
包皮过长
包皮环切
术后出血
全国畜牧技术高级研讨会议在山东临沂召开
9月25—26日.全国畜牧技术推广体系建设高级研讨会议在山东临沂召开。全国各省、直辖市畜牧站的负责同志共60余人参加了会议。全国畜牧总站党委书记何新天主持会议.全国畜牧总
期刊
技术推广体系
山东临沂
畜牧站
畜牧兽医局
党委书记
山东省
人参
铁骑力士“煮酒论英雄”——2010年铁骑力士集团战略发展论坛暨核心
腊梅吐芬芳,冬尽春将至。1月15—16日,2010年铁骑力士集团战略发展论坛暨核心客户年会在四川省绵阳市新落成的总部学术报告厅隆重举行。农业部畜牧业司副司长王宗礼.四川省畜牧
期刊
集团战略
论坛
铁
英雄
学术报告厅
四川省
畜牧业
酒
空值环境下关系数据库查询处理方法
本文给出了一种处理占位型空值的简化方法,解决了空值环境下关系数据库的查询问题,针对不同的空值语义语义特点和查询中的作用,定义了三种不同的操作。DEFINITE,EXIST,MAYBE。同时,给出了含有这三种操
期刊
关系数据库
查询
处理
Query
null values
selection
set difference
join
求有效极小(受控)可重复向量的一个算法
文献[1]基于有效(受控)可重复向量,给出了判定一个标准Petri网产生的语言分别为正规语言或上下文无关语言的充要条件,然而,求取一个标准Petri网的有效(受控)可重复向量是着定网语言属型的前提条件
期刊
PETRI网
有效重复向量
算法
Petri net
effective increasing vector
effective decreasing vect
布尔函数线路复杂度的一个新的下界
布尔函数的线路复杂下界问题与P=?NP问题有密切关系,若证明了NP中某问题的线路复杂度是非多项式的,则P≠NP。但证明了一个具体的布尔函数具有非线性的线路复杂度下界却是计算复杂性理论中
期刊
布尔函数
线路复杂度
下界
Boolean function
network complexity
lower bound.
封闭伤口负压引流技术治疗骨外露
目的伤口封闭负压引流的技术运用于骨外露的治疗。方法利用武汉VSD公司的产品治疗骨外露患者20例。结果所有骨外露都被肉芽覆盖,肉芽新鲜,质量高。结论VSD封闭创面负压治疗骨
期刊
封闭负压引流
骨外露治疗
豆类受调控预期抑制涨幅 维持上涨趋势
2010年9月中旬.美元受到一系列因素影响持续走软.导致大宗商品逐步上涨。10月8日美国农业部发布的10月度供需报告.全面调低2010/11年度农产品产量、库存等相关数据,形成全球豆类期
期刊
豆类
调控
农产品产量
美国农业部
供需
库存
选用DL-蛋氨酸轻松为您节省成本
在家禽典型日粮中蛋氨酸通常是第一限制性氨基酸。通过添加商品蛋氨酸可以简单快速地平衡氨基酸水平。目前,市场上有两种商业来源的蛋氨酸.一种是含量为99%以上的DL-蛋氨酸(DL—M
期刊
DL-蛋氨酸
蛋氨酸羟基类似物
成本
限制性氨基酸
松
日粮
家禽
硝苯地平缓释片治疗高血压病124例临床观察
目的探讨硝苯地平缓释片在高血压病治疗中的临床效果。方法回顾性分析我院收治的248例高血压患者,随机分为治疗组和对照组,治疗组124例采用常规与硝苯地平缓释片联合治疗,对
期刊
硝苯地平缓释片
吲达帕胺
高血压
临床治疗
与本文相关的学术论文