内华达 3500／22M 350022M 应用了所需转换的规范

　　内华达 3500/22M 350022M 应用了所需转换的规范

　　程序变换是任何需要计算机程序并生成另一个程序。在许多情况下，转换后的程序需要语义等价原始的，相对于特定的形式语义学在少数情况下，转换会导致程序在语义上以可预测的方式与原始程序不同。[1]

　　虽然可以手动执行转换，但使用程序转换系统它应用了所需转换的规范。程序转换可被指定为修改编译器数据结构的自动化过程(例如抽象语法树)表示程序文本，或者可以使用表示参数化源代码片段的模式或模板来更方便地指定。

　　对…的实际要求源代码转换系统的一个优点是它们能够有效地处理用程序设计语言。这通常需要集成感兴趣的编程语言的完整前端，包括源代码从语法上分析构建内部程序表示的代码结构，程序符号的含义，很有用静态分析以及从转换后的程序表示中重新生成有效的源代码。为传统语言构建和集成适当的前端的问题(Java 语言(一种计算机语言，尤用于创建网站),C++,服务器端编程语言（Professional Hypertext Preprocessor的缩写）等等。)可能与构建程序转换系统本身一样困难，因为这种语言很复杂。要广泛使用，转换系统必须能够处理许多目标编程语言，并且必须提供一些指定这种前端的方法。

　　语义等价的一个概括是程序细化:一个程序是另一个程序的精化，如果它终止于原始程序终止的所有初始状态，并且对于每个这样的状态，它保证终止于原始程序的一个可能的最终状态。换句话说，一个程序的细化是更加明确和更具决定性比原来的程序。如果两个程序是彼此的细化，那么这两个程序是等价的。

　　举报/反馈