| 正式函数程序设计语言FFP在微机上的实现 |
| |
| 引用本文： | 舒敏.正式函数程序设计语言FFP在微机上的实现[J].电子科技大学学报(社会科学版),1987(3). |
| |
| 作者姓名： | 舒敏 |
| |
| 摘 要： | 本文描述了在M68000 DUAL系统上用C语言实现的正式函数程序设计语言FFP-1,从而在微机上证明了FFP-1系统的可行性。由于FFP语言是作用式、归约式的语言,因此采用了图归约机和延迟求值技术。
|
| 关 键 词： | 函数 程序设计语言 实现 微型计算机 图 归约 |
REALIZATION OF THE FORMAL FUNCTION FUNCTIONAL PROGRAMMING LANGUAGE FFP ON THE MICROCOMPUTER |
| |
| Shu Min.REALIZATION OF THE FORMAL FUNCTION FUNCTIONAL PROGRAMMING LANGUAGE FFP ON THE MICROCOMPUTER[J].Journal of University of Electronic Science and Technology of China(Social Sciences Edition),1987(3). |
| |
| Authors: | Shu Min |
| |
| Abstract: | This paper describes the formal functional language FFP-1 that have been realized on the microcomputer 68000 DUAL system, using C language as the implementation language. Then the feasibility of FFP language on the microcomputer is verified.Because FFP language is applicative and reduced language the techniques of graph reductor and delayed evaluation are used in the realization. |
| |
| Keywords: | function programming language realization microcomputer graph reduction |
| 本文献已被 CNKI 等数据库收录！ |
