保存此搜索
第条 2007年1月 非阻塞堆栈的模块化验证 本文有助于开发包含并发算法的程序的模块化证明技术。 我们给出了一个非阻塞并发算法的证明,该算法提供了一个共享堆栈。 线程间干扰,它。。。 另发布于: ACM SIGPLAN通知:第42卷2007年1月1日发行 第条 2007年1月 作为模态逻辑的上下文逻辑 :完备性和参数不明确性 分离逻辑、环境逻辑和上下文逻辑基于类似风格的结构化数据推理。 它们每个都包含一个用于推理不相交子数据的结构(分离)组合,以及相应的结构伴随。。。 另发布于: ACM SIGPLAN通知:第42卷2007年1月1日发行