拉杰夫·阿鲁尔;洛丽斯·达安东尼;穆昆德·拉戈塔曼 DReX:一种声明性语言,用于有效评估常规字符串转换。 (英语) Zbl 1345.68032号 第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录,2015年1月12日至18日,印度孟买,POPL’15。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3300-9)。125-137 (2015). 引用于6文件 MSC公司: 68甲15 编程语言理论 2017年第68季度 问题的计算难度(下限、完备性、近似难度等) 65年第68季度 形式语言和自动机 68单位15 文本处理的计算方法;数学排版 关键词:声明性语言;DReX公司;字符串转换 软件:DReX公司 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,《第42届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》,POPL’15,印度孟买,2015年1月12-18日。纽约州纽约市:计算机协会(ACM)。125-137(2015;Zbl 1345.68032) 全文: 内政部