PCM库 swMATH ID: 44963 软件作者： Nanevski，A.、Ley-Wild，R.、Sergey，I.、Delbianco，G.、Trunov，A 描述： PCM库：PCM库提供了部分交换单体（PCM）的形式化，这是分离逻辑中用于验证指针操作顺序和并发程序的通用代数结构。该库为抽象的PCM的机械化和自动化推理提供了引理，但也支持具体的公共PCM实例，如堆、历史和互斥。这个库依赖于命题和函数可拓性公理。 主页： https://github.com/imdea-software/fcsl-pcm 源代码： https://github.com/imdea-software/fcsl-pcm 关键词： 部分交换幺半群 相关软件： github；精益；Coq公司；SerAPI软件；JS尼斯；ML4PG系列；OpenNMT（OpenNMT）；亚当；Lucene公司；HoTT公司；Roosterize公司；存档正式证据；BLEU公司；PyTorch公司；层次建设者；数学组件；马蒂塔；芬兰地图；科奎利科 引用于： 2文件 5位作者引用 1 米洛什·格里戈里奇。 1 李俊毅·杰西 1 聂鹏宇 1 卡尔·帕尔姆斯科格 1 坂口和彦 0连载引用 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文