|
|||||
|
|
| 函数式程序設計語言的合成邏輯語义学 | |
| 引用本文： | 江明德.函数式程序設計語言的合成邏輯語义学[J].电子科技大学学报(社会科学版),1984(4). |
| 作者姓名： | 江明德 |
| 摘 要： | 本文提出以合成逻辑(Combinatory logic)作为程序设计语言语义学的数学基础。Backus的(纯粹的)函数式程序设计(FP)语言实质上已是一种“高级的”合成逻辑语言,本文则将FP程序翻译成Curry的“低级的”合成逻辑中的代码。因此,它能在一种SK归约机上运行。 |
| 本文献已被 CNKI 等数据库收录！ | |