阿娜·保拉·Lüdtke Ferreira;莱拉·里贝罗 面向对象的图形和语法。 (英文) Zbl 1253.68086号 Najm,Elie(编辑)等,开放式基于对象的分布式系统的形式化方法。第六届IFIP工作组6.1国际会议,2003年FMOODS,2003年11月19-21日,法国巴黎。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20491-1/pbk)。莱克特。注释计算。科学。2884, 16-31 (2003). 总结:这项工作旨在将图转换的代数方法扩展到面向对象的系统结构和计算模型。提出了一种基于图文法的面向对象系统建模的形式化框架,它结合了系统建模的静态方面和面向对象程序计算的动态方面。关于整个系列,请参见[Zbl 1029.00058号]. 引用于1文件 MSC公司: 68甲19 其他编程范式(面向对象、顺序、并发、自动等) 2012年第68季度 语法和重写系统 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Lüdtke Ferreira}和\textit{L.Ribeiro},Lect。注释计算。科学。2884,16-31(2003;Zbl 1253.68086) 全文: 内政部