切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
过程式语言的动态部分求值技术
过程式语言的动态部分求值技术
来源 :吉林大学自然科学学报 | 被引量 : 0次 | 上传用户:mini8912
【摘 要】
:
提出了一种应用于过程式语言的动态部分求值技术,并实现了一个类如PASCAL语言的部分求值器。
【作 者】
:
刘磊
郑红军
金成植
【机 构】
:
吉林大学计算机科学系,北京大学
【出 处】
:
吉林大学自然科学学报
【发表日期】
:
1995年3期
【关键词】
:
部分求值
过程式语言
源程序
PASCAL语言
partial evaluation
procedural language
program specializ
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出了一种应用于过程式语言的动态部分求值技术,并实现了一个类如PASCAL语言的部分求值器。
其他文献
产品-包装-运载体系统动态特性研究
为缓冲防震系统的设计与评估提供一种新的结构动态分析方法。将复杂耦合结构系统的动态逆子结构分析方法应用于运输包装工程中。从系统分析的角度建立用于确定“产品-包装-运
期刊
包装运输
动态特性
逆子结构
集总参数
packaging transportation
dynamic characteristics
inverse s
会计师事务所内部分配办法改革之我见
会计师事务所作为社会中介机构,目前正面临着脱钩改制,而内部分配办法是事务所体制改革中的一项重要内容。本文就此谈谈个人的一些想法。一、事务所内部分配办法的现状及弊端目
期刊
会计师事务所
内部分配
事务所体制改革
工资总额
岗位工资
业务收入
定比例
权利原则
执业人员
财政部门
机电产品用纸浆模塑衬垫的有限元分析
在机电产品的纸浆模塑衬垫设计中,利用ANSYS软件进行有限元分析,研究静载作用下的衬垫受力及变形情况。结果表明,衬垫结构强度及缓冲性能良好,产品能够得到有效保护。
期刊
纸浆模塑
有限元法
强度
变形
paper pulp
FEM
strength
deformation
应收票据也应计提坏帐准备
应收票据也应计提坏帐准备段昕宏应收票据在我国会计制度中专指企业因商品销售收到商业汇票而形成的债权。我国会计实务对应收票据不计提坏帐准备,其原因是:应收票据是付款人
期刊
应收票据
应收帐款
计提坏帐准备
银行承兑汇票
商业汇票
计提基础
商业信用
谨慎性原则
坏帐损失
单独设立
Robin边值问题解的存在唯一性
本文给出了Robin边值问题(其中a_(?)≥0,b_(?)≥0,a_0+a_1,b_0+b_1>0,a_0+b_0>0)在主要假设f_x≥-β,f_(?)分别在有界和某种无界情形下,有唯一解的一个充分条件。
期刊
边值问题
存在性
唯一性
微分方程
Robin's boundary value problem
existence
uniqueness
手机纸浆模塑包装热压定型模具有限元分析
建立手机纸浆模塑包装热压定型模具模型,使用有限元分析软件对其在特定条件下进行了结构分析。讨论了有限元分析中的前置处理及分析结果,对有限元分析云图中出现的局部应力集中
期刊
纸浆模塑
热压模具
有限元分析
NASTRAN
paper pulp
hot-pressing mould
FEA
NASTRAN
对个体和集贸市场税收征管归属问题的思考
对个体和集贸市场税收征管归属问题的思考田家国梁实施分税制后,个体和集贸市场税收的征管范围究竟怎样划分才有利于维护国家税法的统一;有利于经济发展;有利于依法治税;有利于组
期刊
税收征管
市场税收
集贸市场
归属问题
地方税务
地方政府
征管范围
地税机关
国税部门
经营者
关于使用非自营性外汇资金经营贷款业务征收营业税的批复
省地方税务局沈阳分局:你局《关于使用非自营性外汇资金经营贷款业务是否按一般贷款业务征收营业税的请示》(辽地税沈【1999】23号)收悉。《关于金融业征收营业税有关问题的通知》(财
期刊
贷款业务
营业税
外汇资金
自营性
借款利息
贷款利息
金融企业
外汇业务
中国投资银行
沈阳分行
税收工作的信息调研方法
税收工作的信息调研方法杜秀彤信息是决策的依据,没有准确、及时、有价值的信息,就不可能有科学决策。地方税收税种多,范围广,任务重,要搞好税收工作,就必须重视信息的获取。为了
期刊
信息调研
地方税收工作
领导决策
调研工作
科学决策
信息工作者
调研方法
税收中心
新观点
解决实际问题
弥补亏损存在的问题及对策
弥补亏损存在的问题及对策刘健琦弥补亏损的关键性问题,就是对亏损企业的利润审核。经笔者调查,目前,在弥补亏损过程中,对亏损企业利润的审核存在一些问题,现列举如下:一、税务部
期刊
弥补亏损
亏损企业
税务部门
存在的问题及对策
葫芦岛市
帐面利润
亏损额
纳税检查
审核工作
税务检查
与本文相关的学术论文