陈冯;格里高·罗什乌;拉姆·普拉萨德·文凯特桑 基于规则的尺寸安全分析。 （英语） 兹比尔1038.68548 Nieuwenhuis，Robert（编辑），重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40254-3/pbk）。莱克特。注释计算。科学。2706, 197-207 (2003). 摘要：维度安全策略检查是软件分析中的一个老话题，涉及确保程序不违反度量单位的基本原则。科学和/或导航软件通常是尺寸型的，违反测量装置安全政策可能会隐藏难以或不可能发现的重大领域特定错误。本文讨论用传统编程语言编写的程序的维数分析。我们绘制维度分析工具的一般设计原则，然后讨论通过重写实现的原型，其中包括动态和静态检查程序。我们的方法基于代码的假设/断言注释，这些注释被我们的工具正确解释，而被标准编译器/解释器忽略。原型的输出包括列出违反单元安全策略的表达式的警告。这些原型是在重写系统Maude中实现的。关于整个系列，请参见[Zbl 1029.00060号]. 引用于5文件 MSC公司： 68纳米99 软件理论 2012年第68季度 语法和重写系统 软件：单位;公元前;OBJ3型;OBJ咖啡馆;莫德;ELAN公司 PDF格式BibTeX公司 XML格式引用 \textit{F.Chen}等人，Lect。注释计算。科学。2706、197--207（2003；Zbl 1038.68548） 全文： 链接