下面关于网上银行电子工资单的说法正确的有（）。

A、个人客户从网上查询到的电子工资单信息，与其工作单位实际发放工资没有必然联系。

B、企业上传电子工资单时，由录入员录入、复核员复核后即可完成。

C、电子工资单的具体格式可由企业自行定义。

D、客户可通过网点进行电子工资单查询

软件语言是指用于书写计算机软件的语言。它主要包括需求定义语言、功能性语言、设计性语言、程序设计语言和文档语言等。 (8) 就是一种典型的设计性语言，常用于详细设计。 (9) 语言是一种功能性语言，它是以 (10) 理论为基础的一种规约语言。
程序设计语言用于书写计算机程序，它包含语法、语义、和 (11) 三个方面。程序设计语言又可分为过程式语言和非过程式语言，如 (12) 就是典型的非过程式语言。

A．一阶谓词演算

B．λ演算

C．异调代数

D．范畴论