马，秦；吕克·马兰吉特 连接演算中的代数模式匹配。 （英语） 兹比尔1141.68041 日志。方法计算。科学。 4，第1期，论文7，41页（2008年）. 摘要：我们提出了一种在代数数据类型上使用模式匹配的连接演算的扩展。我们最初的动机是双重的：提供并发和模式匹配之间交互的直观语义；定义一个实用的编译方案，从扩展连接定义到普通连接定义再加上ML模式匹配。为了评估编译方案的正确性，我们开发了一种应用连接演算理论，一种具有值传递和值匹配的演算。我们将此演算实现为当前JoCaml系统的扩展。 MSC公司： 68问题65 抽象数据类型；代数规范 关键词：连接演算的推广；模式匹配；代数数据类型；汇编 软件：皮克特；乔坎尔；皮杜克 PDF格式BibTeX公司 XML格式引用 \textit{Q.Ma}和\textit{L.Maranget}，Log。方法计算。科学。4，第1号，论文7，41页（2008年；Zbl 1141.68041） 全文： 内政部