Pascal 是一种高级程序设计语言，由 Niklaus Wirth 在 1970 年代初期开发。它是一种结构化编程语言，强调程序的模块化和可读性，适用于科学计算、教育、软件开发等领域。Pascal 语言的特点包括静态类型、强类型、过程式、模块化、递归、指针等。

GB/T 7591-1987 是 Pascal 语言的标准化规范，它规定了 Pascal 语言的语法、语义、数据类型、运算符、控制结构、输入输出等方面的要求。其中，语法规定了 Pascal 语言的基本语法结构，包括程序、块、语句、表达式、标识符等；语义规定了 Pascal 语言的语义规则，包括类型检查、作用域、变量声明、函数调用等；数据类型规定了 Pascal 语言的数据类型，包括基本类型、数组、记录、枚举、集合等；运算符规定了 Pascal 语言的运算符，包括算术运算符、关系运算符、逻辑运算符、位运算符等；控制结构规定了 Pascal 语言的控制结构，包括条件语句、循环语句、跳转语句等；输入输出规定了 Pascal 语言的输入输出方式，包括读取、写入、格式化等。

此外，GB/T 7591-1987 还规定了 Pascal 语言编译器的实现要求和测试方法。编译器的实现要求包括词法分析、语法分析、语义分析、代码生成等方面的要求；测试方法包括编译器测试、程序测试、性能测试等方面的要求。这些要求和方法可以保证 Pascal 语言编译器的正确性和可靠性，从而提高程序的质量和可维护性。

总之，GB/T 7591-1987 是 Pascal 语言的标准化规范，它规定了 Pascal 语言的语法、语义、数据类型、运算符、控制结构、输入输出等方面的要求，以及编译器的实现要求和测试方法。它为 Pascal 语言的开发和使用提供了标准化的基础，促进了 Pascal 语言的普及和应用。

相关标准
- GB/T 1522-1994 程序设计语言 Pascal 标准库
- GB/T 1523-1994 程序设计语言 Pascal 标准函数库
- GB/T 1524-1994 程序设计语言 Pascal 标准过程库
- GB/T 1525-1994 程序设计语言 Pascal 标准类型库
- GB/T 1526-1994 程序设计语言 Pascal 标准常量库