佩特拉·考夫曼;马丁·克罗内格;安德烈亚斯·普范德勒;马蒂娜·塞德尔;马格达莱娜·维德尔 行为多视图模型的图内和图间一致性检查。 (英语) Zbl 1387.68051号 计算。语言系统。结构。 44,A部分,72-88(2015).MSC公司:68甲15 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Kaufmann}等人,计算。语言系统。结构。44,A部分,72--88(2015;Zbl 1387.68051) 全文: 内政部
安德烈·阿鲁索艾;多雷尔·卢卡努;弗拉德·鲁苏 基于语言转换的符号执行。 (英语) 兹比尔1387.68047 计算。语言系统。结构。 44,A部分,48-71(2015).MSC公司:68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Arusoaie}等人,计算。语言系统。结构。44,A部分,48-71(2015年;兹bl 1387.68047) 全文: 内政部 哈尔
爱玛·Söderberg;戈雷尔·赫丁 通过循环非终结符属性进行声明性重写。 (英语) 兹比尔1387.68150 计算。语言系统。结构。 44,A部分,3-23(2015).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Söderberg}和\textit{G.Hedin},计算。语言系统。结构。44,A部分,3--23(2015;Zbl 1387.68150) 全文: 内政部
班诺伊·库梅莱(编辑);大卫·J·皮尔斯。(编辑);理查德·佩奇(Richard F.Paige)。(编辑);埃里克·范怀克(编辑) 第六届和第七届软件语言工程国际会议特刊(SLE 2013和SLE 2014)。 (英语) Zbl 1387.68020号 计算。语言系统。结构。 44,A部分,1-2(2015).MSC公司:68-06 68甲15 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{B.Combemale}(编辑)等,《计算》。语言系统。结构。44,A部分,1--2(2015;Zbl 1387.68020) 全文: 内政部