塞巴斯蒂安·达尼西奇;Robert M.Hierons。;迈克尔·劳伦斯。 描述最小语义的特征——提供谓词线性、自由、自由程序模式的片段。 (英语) Zbl 1231.68107号 J.日志。阿尔盖布。程序。 80,第8期,481-496(2011).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Danicic}等人,J.Log。阿尔盖布。程序。80,第8号,481--496(2011;Zbl 1231.68107) 全文: 内政部 arXiv公司
塞巴斯蒂安·达尼西奇;Robert M.Hierons。;迈克尔·劳伦斯。 一类线性、自由、近自由程序模式的子模式的强等价性的判定。 (英语) Zbl 1209.68136号 J.日志。阿尔盖布。程序。 80,第2期,92-112(2011).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{S.Danicic}等人,J.Log。阿尔盖布。程序。80,第2号,92--112(2011;Zbl 1209.68136) 全文: 内政部 链接
塞巴斯蒂安·达尼西奇;马克·哈曼;约翰·豪罗伊德;拉肯乌尔巴亚 用于程序切片和依赖性分析的非标准语义。 (英语) Zbl 1119.68110号 J.日志。阿尔盖布。程序。 72,第2期,191-206(2007).MSC公司:第68季度55 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{S.Danicic}等人,J.Log。阿尔盖布。程序。72,第2号,191--206(2007;Zbl 1119.68110) 全文: 内政部