-
题名利用CopedSew重构lambda演算
- 1
-
-
作者
黄晓艺
-
机构
东莞理工学院城市学院
-
出处
《数字技术与应用》
2010年第5期145-146,共2页
-
文摘
可穿戴理论已经在我们的生活中产生深远而普遍的影响。在本文中,我们否定了IP语音的发展。在我们的研究中,我们提出了一种新的加密通讯方法(CopedSew),并用这种方法证明了Scheme和SMPs不能实现加密通讯。
-
关键词
CopedSew
lambda演算
-
分类号
E2
[军事—军事理论]
-
-
题名对象式Lam bda演算的自作用部分计值
被引量：4
- 2
-
-
作者
王明文
孙永强
-
机构
上海交通大学计算机科学与工程系
-
出处
《软件学报》
EI
CSCD
北大核心
2001年第8期1154-1161,共8页
-
基金
国家 8 6 3高科技发展规划资助项目 (86 3- 30 6 - 0 5 - 0 4- 3)&&
-
文摘
讨论了一个对象式 Lambda演算的部分计值器 .对象式 L ambda演算在 Lambda演算的基础上添加了对象机制 .部分计值器的构造是采用传统的三步法 ,首先定义对象式 L ambda演算的元解释器 ;然后提出对象式Lambda演算的约束时间分析方法 (binding- time analysis) ,约束时间分析决定哪些计算可以在编译时完成 ,哪些计算需留在运行时执行 ;最后定义部分计值器 .同时 。
-
关键词
程序转换
部分计值
对象式lambda演算
面向对象
程序设计语言
-
Keywords
Calculations
Computer programming languages
Evaluation
Numerical analysis
Program compilers
Program interpreters
Theorem proving
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名论高校计算机专业开展函数式程序语言教学的必要性
被引量：1
- 3
-
-
作者
余珊珊
易法令
苏锦钿
-
机构
广东药学院医药信息工程学院
华南理工大学计算机科学与工程学院
-
出处
《计算机教育》
2014年第15期34-38,共5页
-
基金
广东省科技计划项目(2011B010200043)
国家自然科学基金资助项目(61103038)
-
文摘
针对命令式程序语言在计算机科学研究及数学思维能力培养等方面存在的不足,提出将函数式程序语言作为高校计算机专业本科生的程序教学语言,分析函数式程序语言与命令式程序语言间的区别并以Haskell为例介绍函数式程序语言的一些典型的编程风格及主要知识点,概括函数式程序语言的发展趋势。
-
关键词
函数式程序语言
命令式程序语言
HASKELL
lambda演算
-
分类号
G642
[文化科学—高等教育学]
-
-
题名预设的实质与表示
被引量：1
- 4
-
-
作者
周君
-
机构
重庆三峡学院外国语系
-
出处
《科技资讯》
2008年第14期238-,共1页
-
文摘
本文着重讨论自然语言中预设的实质与表示。传统的逻辑预设缺乏表达力,而语用预设又不够准确,难以操作;逻辑蕴涵比逻辑预设表达力更强,但是需要改造。预设概念不必纠缠于真值条件,可以用可能世界的概念处理语句的真值,用Lambda演算来表示语句的预设。
-
关键词
预设
蕴涵
可能世界
lambda演算
-
分类号
B812
[哲学宗教—逻辑学]
-
-
题名定理证明器Coq与机械语义研究
- 5
-
-
作者
窦亮
刘强
杨宗源
-
机构
华东师范大学计算机科学技术系
-
出处
《计算机应用与软件》
CSCD
2015年第10期10-14,共5页
-
基金
国家自然科学基金项目(61070226
61003181)
-
文摘
随着证明理论和定理证明器的不断发展与成熟,形式语义研究已经从传统的基于手工证明的研究进入到机器可处理的机械语义的研究。交互式定理证明器Coq具备强大的描述能力,可以形式化地描述程序语法和语义,利用其内置函数式编程语言实现对程序语义的复杂操作,通过其证明系统形式地证明操作的正确性。根据形式语义的理论,针对简单类型Lambda演算的操作语义和指称语义,展示了如何利用定理证明器Coq的归纳定义实现它们的形式描述,并对语义的重要属性进行证明,表明机械语义是确保基础软件正确性的基础。
-
关键词
定理证明
形式语义
lambda演算
机械语义
-
Keywords
Theorem proving
Formal semantics
lambda calculus
Mechanised semantics
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名函数式程序设计语言的教学研究与探讨
被引量：2
- 6
-
-
作者
陈付龙
-
机构
安徽师范大学计算机系
-
出处
《福建电脑》
2010年第6期23-23,30,共2页
-
基金
安徽省高校青年教师科研基金项目(2008JQ1057)
-
文摘
本文主要研究以OCaml为核心语言的函数式程序设计语言的课程教学设计,填补国内计算机专业在程序设计语言课程设置上的空白,以培养程序设计人员的程序设计全面素质和能力。
-
关键词
函数式程序设计语言
OCaml
lambda演算
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于Prolog的函数语言解释执行
- 7
-
-
作者
陈荣鑫
廖湖声
-
机构
集美大学计算机工程学院
北京工业大学计算机学院
-
出处
《莆田学院学报》
2011年第2期57-61,共5页
-
基金
福建省自然科学基金资助项目(2008J04005)
-
文摘
通过介绍一个用逻辑语言Prolog设计的函数语言解释执行器原型,展示结合不同的声明式语言进行软件开发的方法。该法可实现不同语言优势互补,以提高生产效率和软件可靠性。通过函数语言解释执行实例,验证该解释执行器的有效性。
-
关键词
声明式语言
lambda演算
PROLOG
函数语言
解释执行
-
Keywords
declarative language
lambda calculus
Prolog
functional language
interpreting execution
-
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
-
-
题名普适服务编排的类型和效果
- 8
-
-
作者
黄晗
-
机构
泉州师范学院物理与信息工程学院
-
出处
《泉州师范学院学报》
2013年第2期34-39,共6页
-
基金
高等学校博士学科点专项科研基金课题(20090073110026)
-
文摘
提出一种扩展的lambda演算方法并给出相应类型的系统.基于扩展的lambda演算可建立服务模型,采用形式化方法,将服务内部流程抽象为函数概念,引入效果系统来记录服务的动作属性,推导服务动作操作集以验证服务编排是否满足用户所定义的规范,最后通过Coq实验来验证该方法的可行性.
-
关键词
普适
lambda演算
类型和效果系统
服务编排
抽象
-
Keywords
pervasive
lambda calculus
type and effect systems service choreography abstract
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名旅游自动应答语义模型分析与实践
被引量：2
- 9
-
-
作者
王彦
左春
曾炼
-
机构
中国科学院软件研究所软件工程技术研究开发中心
中国科学院大学
中科软科技股份有限公司
金童软件科技有限公司
-
出处
《计算机系统应用》
2017年第2期18-24,共7页
-
文摘
针对常见问答系统采用的以词法分析为基础的浅层语义模型难以有效挖掘用户问句深层语义的问题,本文立足于旅游问答应用领域,采用组合范畴语法对旅游问句进行句法分析,使用Lambda演算式表示问句语义,以此构建旅游领域问句的语义模型,以便于通过精确的问句语义快速查找应答结果.研究首先进行旅游领域数据采集与语料标注的准备性工作,并针对语料对旅游问句的句式句法进行分析;然后采用基于概率的组合范畴语法的监督学习过程,通过训练获得较为可靠的旅游问句语义词典;最后根据语义词典及其他相关知识,学习用户问句语义,构建旅游自动应答语义分析系统,着重于问句解析和相应的语义模型的构建.通过在评测集上的验证,这种语义解析方法在解析效果上有比较明确的提升.
-
关键词
旅游问答系统
组合范畴语法
lambda演算
语义模型
监督学习
-
Keywords
tourism QA system
combinatory categorial grammars
lambda calculus
semantic model
supervised learning
-
分类号
TP391.1
[自动化与计算机技术—计算机应用技术]
-
-
题名对church-rosser定理的再探讨
- 10
-
-
作者
邱易
-
机构
华中科技大学计算机科学与技术学院
-
出处
《现代计算机（中旬刊）》
2016年第9期29-31,共3页
-
文摘
在lambda演算中,找到永不终止却有意义的lambda项,并讨论它的意义:任何可计算的函数都可能在它的求值过程中出现,且出现顺序受到求值顺序控制。
-
关键词
无限
停机
lambda演算
-
Keywords
Unlimited
Halt
lambda Calculus
-
分类号
O174
[理学—基础数学]
-
