Separation Logic: A Logic for Shared Mutable Data Structures

机译：分离逻辑：共享可变数据结构的逻辑

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者

展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Natural Proofs for Data Structure Manipulation in C using Separation Logic [J] . Edgar Pek, Xiaokang Qiu, P. Madhusudan ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2014,第6期

机译：使用分离逻辑在C中处理数据结构的自然证明
2. Natural Proofs for Data Structure Manipulation in C using Separation Logic [J] . Edgar Pek, Xiaokang Qiu, P. Madhusudan ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2014,第6期

机译：使用分离逻辑在C中处理数据结构的自然证明
3. Charge sharing problems in dynamic logic circuits: BiCMOS versus CMOS and a 1.5 V BiCMOS dynamic logic circuit free from charge sharing problems [J] . Kuo J.B., Chiang C.S. IEEE Transactions on Circuits and Systems. 1 . 1995,第11期

机译：动态逻辑电路中的电荷共享问题：BiCMOS与CMOS和1.5 V BiCMOS动态逻辑电路无电荷共享问题
4. Separation logic: a logic for shared mutable data structures [C] . Reynolds, J.C. . 2002

机译：分离逻辑：共享可变数据结构的逻辑
5. The shared dataspace approach to concurrent computation: The Swarm programming model, notation, and logic. [D] . Cunningham, Harold Conrad. 1989

机译：用于并行计算的共享数据空间方法：Swarm编程模型，符号和逻辑。
6. LogiKEy workbench: Deontic logics logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset) [O] . Christoph Benzmüller, Ali Farjami, David Fuenmayor, 2020

机译：Logikey Workbench：语言逻辑组合和表现形式的道德和法律推理（Isabelle / HOL DataSet）
7. Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic [O] . Kamil Dudka, Petr Peringer, Tomáš Vojnar 2011

机译：捕食者：使用分离逻辑检查动态数据结构的操纵的实用工具
8. Analysis of shared data structures for compile-time garbage collection in logic programs. [R] . Mulkers, A., Bruynooghe, M., Winsborough, W. 1990

机译：分析逻辑程序中编译时垃圾收集的共享数据结构。

Separation Logic: A Logic for Shared Mutable Data Structures

著录项

引文网络

相似文献

相关主题

期刊订阅