形式函数程序设计系统

形式函数程序设计系统的英文

英语翻译

formal functional programming system

拓展翻译

小型计算机程序设计
minicomputer programming


新程序设计语言
new programming language


延迟程序设计
delay programming


小项形式
minterm form


新形式
new model


形式
form; format; modality; shape
form


形式逼近
formal approximation


形式变换
formal transformation


形式变量
formal variable


形式变量过程参数
formal variable procedure parameter


形式变元
formal argument


形式标号
form label


形式标志
formal denotation; formal notation


形式表示
formal denotation


形式不完善
defect of form


形式参数
formal parameter


形式参数标识符
formal parameter identifier


形式参数表
formal parameter list


形式参数部分
formal parameter part


形式参数类型
type of formal parameter