何塞·努诺·马塞多；马科斯·维埃拉；乔昂·萨拉瓦 压缩策略和属性语法。 （英语） Zbl 07570117号 Hanus，Michael（编辑）等人，《函数和逻辑编程》。第16届国际研讨会，FLOPS 2022，日本京都，2022年5月10日至12日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13215, 112-132 (2022).MSC公司：68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit｛J.Nuno Macedo｝等人，Lect。注释计算。科学。13215、112-132（2022；Zbl 07570117） 全文： 内政部 arXiv公司 链接
西蒙·佩蒂让；迪尼斯·杜契尔；扬尼克·帕门蒂尔 XMG 2：描述描述语言。 （英语） Zbl 1483.68459号 Amblard，Maxime（编辑）等人，《计算语言学的逻辑方面》。庆祝LACL成立20周年（1996-2016）。2016年12月5日至7日在法国南希举行的LACL 2016第九届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10054, 255-272 (2016).MSC公司：68T50型 68N17号 第68页第20页 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Petitjean}等人，Lect。注释计算。科学。10054，255--272（2016；Zbl 1483.68459） 全文： 内政部
洛伦佐·贝蒂尼 使用Xsemantics实现IDE的类型系统。 （英语） Zbl 1348.68030号 J.日志。阿尔盖布。方法计划。 85，第5号，第1部分，655-680（2016）.MSC公司：68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini}，J.Log。阿尔盖布。方法计划。85，第5号，第1部分，655--680（2016；Zbl 1348.68030） 全文： 内政部
爱玛·Söderberg；戈雷尔·赫丁 通过循环非终结符属性进行声明性重写。 （英语） Zbl 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） 全文： 内政部
马丁·布拉文波尔；埃尔科·多尔斯特拉；埃尔科·维瑟 使用语法嵌入防止注入攻击。 （英语） Zbl 1211.68046号 科学。计算。程序。 75，第7期，473-495（2010）.MSC公司：68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Bravenboer}等人，科学。计算。程序。75，第7号，473--495（2010；Zbl 1211.68046） 全文： 内政部
埃里克·范怀克；德里克·博丹；高继敏；Krishnan、Ligesh Silver：一个可扩展的属性语法系统。 （英语） Zbl 1187.68285号 科学。计算。程序。 75，编号1-2，39-54（2010）.MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.van Wyk}等人，科学。计算。程序。75，编号1--2，39-54（2010；Zbl 1187.68285） 全文： 内政部 链接
约翰·奥凯森；托比约恩·埃克曼；赫丁，戈雷尔 使用JastAdd属性语法实现modelica编译器。 （英语） Zbl 1187.68139号 科学。计算。程序。 75，编号1-2，21-38（2010）.MSC公司：第68页第20页 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.奥凯森}等人，科学。计算。程序。75，编号1--2，21-38（2010；Zbl 1187.68139） 全文： 内政部