丹尼尔·沃丁顿;姚斌 高精度C/C++代码转换。 （英语） Zbl 1125.68024号 科学。计算。程序。 68，第2期，64-78（2007）. 摘要：随着软件系统变得越来越庞大，自动化转换工具的优势显而易见。这些工具允许机器推理和操作高级源代码。它们能够将普通而费力的编程任务从人类开发人员卸载到机器上，从而降低成本和开发时间框架。尽管在软件转换方面已经做了很多工作，但在商业领域实现这项技术仍然存在许多障碍。根据我们自己的经验，在将转换技术有效地应用于商业环境之前，必须解决两个重要问题。这些是：（1）避免破坏源代码的风格（即布局和注释），以及引入任何可能作为转换过程的副作用而发生的不希望的修改。（2） C预处理的正确自动处理和转换期间程序语义正确视图的表示。许多现有的自动化转换工具需要手动修改源，以便可以解析预处理构造。程序的真正语义仍然模糊不清，因此需要在转换期间进行复杂的分析。许多系统还借助漂亮的打印来生成转换后的程序，这必然会破坏编码风格。在本文中，我们描述了我们自己的C/C++转换系统Proteus，它解决了这两个问题。它已经在数百万行商业C/C++代码上进行了测试，并证明符合朗讯自己的软件开发人员制定的严格标准。 理学硕士： 68甲15 编程语言理论 关键词：源代码转换;高可靠性;预处理 软件：西洋陆军棋;Proteus公司;TXL（热膨胀）;CIL公司 PDF格式BibTeX公司 XML格式引用 \textit{D.Waddington}和\textit{B.Yao}，科学。计算。程序。68，第2号，64--78（2007；Zbl 1125.68024） 全文： 内政部