×
安德烈·布利克;安德烈·塔莱基;米克尔·索洛普

关于系统开发中语法的保守扩展。 （英语） Zbl 0734.68061号

西奥。计算。科学。 90，第1期，209-233（1991）.
概要：软件系统的每次修改都可以描述为两个步骤的组合：一个是删除一些现有机制的限制，另一个是添加一些新机制的扩展。在前一种情况下，语法的修改相当容易：我们只需从相应的语法中删除一些结果。然而，后一种情况可能更为复杂。通过一些新机制对底层软件系统的任何扩展都需要在定义语法的语法中添加新的产品。不幸的是，如果我们在开发原始语法时不够小心，那么这可能不够，可能需要对旧语法进行一些重新编写。如果旧语法包含一些实际的或隐藏的歧义，则可能会发生这种情况，这些歧义虽然最初是无害的，但在系统扩展时会变得有害。
我们研究了语法设计问题，从而避免了上述困难。也就是说，系统的语法应该设计为这样一种方式，即当系统被扩展时，语法可以被保守地扩展，即原始语法保持合法，并且含义与以前相同。
特别是，我们引入了语法歧义的形式概念，并大致表明，如果一个系统的外延代数满足定义其语法的语法的所有歧义，那么任何丰富（但不适用于任何扩展）的正确语法可以通过以标准的方式扩展语法来构造表示代数。

MSC公司：

2012年第68季度 语法和重写系统
68N99型 软件理论

关键词：

指称工程;软件系统的指称模型;句法代数;语法歧义的形式概念;表示代数
PDF格式BibTeX公司 XML格式引用
\textit{A.Blikle}等人，Theor。计算。科学。90，第1号，209--233（1991；Zbl 0734.68061）
全文： 内政部

参考文献：

[1] 阿霍，A.V。；Ullman，J.D.，《解析理论、翻译与编译》第一卷：解析（1972年），普伦蒂斯·霍尔：普伦蒂塞·霍尔·恩格尔伍德·克利夫斯，新泽西州·Zbl 0264.68032号
[2] 阿霍，A.V。；约翰逊，S.C。；Ullman，J.D.，《歧义语法的确定性分析》，美国计算机学会，第18期，第441-452页（1975年）·Zbl 0307.68002号
[3] Arbib，医学硕士。；Manes，E.G.，《箭头、结构和函数》（1975），学术出版社：纽约学术出版社·Zbl 0306.18002号
[4] （Björner，D.；Oest，O.N.，朝向ADA的正式描述，61（1980），Springer:Springer Berlin），计算机科学讲稿·Zbl 0451.68015号
[5] Blikle，A.，《外延工程或从外延到语法》，（Björner，D.；Jones，C.B.；Mac an Airchinigh，M.；Neuhold，E.J.，VDM-A Formal Method at Work，Proc.VDM-Europe Symp.1987，Brussels，1987）。VDM-A工作中的形式化方法。VDM-欧洲交响乐团。1987年，布鲁塞尔，1987，计算机科学讲义，252（1987），施普林格：施普林格柏林），151-209
[6] Blikle，A.，指称工程，科学。计算。编程，1207-253（1989）·Zbl 0683.68010号
[7] Blikle，A。；Thorup，M.，《关于系统开发过程中语法的保守扩展》，（《软开发中的VDM和Z-Formal方法》，VDM-Europe Symp.Proc.，428（1990），Springer:Springer Berlin），504-5251990，Kiel，计算机科学讲义
[8] R.M.伯斯托尔。；Goguen，J.A.，《Clear的语义，一种规范语言》（Proc.Advanced Course on Abstract Software Specifications，86（1980），Springer:Springer Berlin），292-332，哥本哈根，计算机科学讲义·Zbl 0456.68024号
[9] Goguen，J.A。；Meseguer，J.，《多元等式逻辑的完备性》，SIGPLAN通知，16，24-32（1981），完整版本为SRI国际，技术报告CSL-135，1982年5月·Zbl 0498.03018号
[10] Jensen，K。；Wirth，N.（PASCAL，用户手册和报告（1978），Springer:Springer Berlin）
[11] MacLane，S.，《工作数学家的类别》（1971），《施普林格：施普林格·柏林》·Zbl 0232.18001号
[12] Schmidt，D.，《指称语义学：语言发展的方法论》（1986），Allyn和Bacon:Allyn和Bacon波士顿
[13] Stoy，J.E.，《指称语义学：编程语言理论的Scott-Strachey方法》（1977年），麻省理工学院出版社：麻省理学院出版社剑桥·Zbl 0503.68059号
[14] M.Thorup，《关于指称的语法正确性》，硕士论文，丹麦技术大学计算机科学系，林比，正在编写中。；M.Thorup，《关于指称的语法正确性》，硕士论文，丹麦技术大学计算机科学系，林比，正在编写中。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。