“通过…用Regex依赖函数解决字符串约束”
陈陶璐 , 亚历杭德罗·弗洛雷斯-拉马 , 马修·黑格 , 韩志磊 , 胡登亨 , 双龙坎 , 安东尼·W·林 , 菲利普·吕默 , 吴志林 :
通过具有优先级和变量的传感器,使用Regex相关函数解决字符串约束。 程序。 ACM计划。 语言。 6 ( POPL公司 ) : 1-31 ( 2022 )
由于引用数据不可用,以下列表可能不完整, 引用字符串可能未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。