formal functional programming system

formal functional programming system是什么意思、formal functional programming system怎么读
【计】 形式函数程序设计系统

formal functional programming system汉语翻译

【计】 形式函数程序设计系统