形式函数程序设计系统

【计】 formal functional programming system

形式的英语翻译：

form; format; modality; shape
【法】 form

函数的英语翻译：

function
【计】 F; FUNC; function

程序设计系统的英语翻译：

【计】 programming system