Regexp公司 swMATH ID: 31124 软件作者: 马歇,C。 描述: OCaml的Regexp库。正则表达式的简单库。这些算法基于论文《从正则表达式到确定性自动机》,G.Berry和R.Sethi。理论计算机科学48(1986)117-126。研究报告。由于Jean-Christophe Filliátre,该库使用了智能数据结构(Hash-consing、Patricia Trees)。文档是使用OcamlWeb自动生成的。 主页: 网址:https://www.lri.fr/~进行/regexp/ 相关软件: OCaml公司;存档正式证据;深度优先搜索;卡宴;IMPS公司;ACL2;HOL公司;毫升;Coq公司;ACL2型 引用于: 1文件 2位作者引用 1 斯科特·欧文斯 1 康拉德·斯林德 连载1篇 1 高阶和符号计算 在1个字段中引用 1 计算机科学(68至XX) 按年份列出的引文