×

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文件

在1个字段中引用

1 计算机科学(68至XX)

按年份列出的引文