-
题名对象式Lam bda演算的自作用部分计值
被引量：4
- 1
-
-
作者
王明文
孙永强
-
机构
上海交通大学计算机科学与工程系
-
出处
《软件学报》
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
- 2
-
-
作者
余珊珊
易法令
苏锦钿
-
机构
广东药学院医药信息工程学院
华南理工大学计算机科学与工程学院
-
出处
《计算机教育》
2014年第15期34-38,共5页
-
基金
广东省科技计划项目(2011B010200043)
国家自然科学基金资助项目(61103038)
-
文摘
针对命令式程序语言在计算机科学研究及数学思维能力培养等方面存在的不足,提出将函数式程序语言作为高校计算机专业本科生的程序教学语言,分析函数式程序语言与命令式程序语言间的区别并以Haskell为例介绍函数式程序语言的一些典型的编程风格及主要知识点,概括函数式程序语言的发展趋势。
-
关键词
函数式程序语言
命令式程序语言
HASKELL
lambda演算
-
分类号
G642
[文化科学—高等教育学]
-
-
题名函数式程序设计语言的教学研究与探讨
被引量：2
- 3
-
-
作者
陈付龙
-
机构
安徽师范大学计算机系
-
出处
《福建电脑》
2010年第6期23-23,30,共2页
-
基金
安徽省高校青年教师科研基金项目(2008JQ1057)
-
文摘
本文主要研究以OCaml为核心语言的函数式程序设计语言的课程教学设计,填补国内计算机专业在程序设计语言课程设置上的空白,以培养程序设计人员的程序设计全面素质和能力。
-
关键词
函数式程序设计语言
OCaml
lambda演算
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于Prolog的函数语言解释执行
- 4
-
-
作者
陈荣鑫
廖湖声
-
机构
集美大学计算机工程学院
北京工业大学计算机学院
-
出处
《莆田学院学报》
2011年第2期57-61,共5页
-
基金
福建省自然科学基金资助项目(2008J04005)
-
文摘
通过介绍一个用逻辑语言Prolog设计的函数语言解释执行器原型,展示结合不同的声明式语言进行软件开发的方法。该法可实现不同语言优势互补,以提高生产效率和软件可靠性。通过函数语言解释执行实例,验证该解释执行器的有效性。
-
关键词
声明式语言
lambda演算
PROLOG
函数语言
解释执行
-
Keywords
declarative language
lambda calculus
Prolog
functional language
interpreting execution
-
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
-
