首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   1篇
  完全免费   1篇
  自动化技术   2篇
  2004年   1篇
  1996年   1篇
排序方式: 共有2条查询结果,搜索用时 0 毫秒
1
1.
语义转换--直接指称语义到接续指称语义   总被引:1,自引:1,他引:0  
指称语义分为直接指称语义和接续指称语义,其中后一种语义描述的难度较大,给出了直接指称语义描述到接续指称语义描述的转换方法,这就使得这种语义转换的自动化成为可能.转换算法揭示了直接指称语义与接续指称语义之间的内在关系,同时也提供了写接续指称语义描述的有效方法.当需要检验同一种语言的直接指称语义描述和接续指称语义描述是否等价时,提供的技术是很有用的。  相似文献
2.
本文给出高阶函数式语言到Prolog语言的一种转换技术.其中主要用到抽象闭包分析、Lambda提升、顺序化以及Prolog中的Cal技术.本文的研究重点在于高阶性的处理上.  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号