| 标题 |
 书籍（章节） A Verified Specification of TLSF Memory Management Allocator Using State Monads 使用状态单子的TLSF内存管理分配器的验证规范
相关领域
霍尔
分配器
计算机科学
正确性
程序设计语言
形式验证
记忆模型
国家（计算机科学）
C动态内存分配
内存管理
内存安全
模型检查
嵌入式系统
操作系统
共享内存
编译程序
覆盖
|
| 网址 | |
| DOI | |
| 其它 |
期刊：Lecture notes in computer science 作者：Yu Zhang; Yongwang Zhao; David Sanán; Lei Qiao; Jinkun Zhang 出版日期：2019-01-01 |
| 求助人 | |
| 下载 | 该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
爱静静
无名老大
乐乐乐乐乐乐
VDC
YifanWang
Polymer72
嗯哼
加菲丰丰
Magali
sutharsons
快乐滑板
shinysparrow
无敌反派大美人
FIN
JIA
jyy
舒心的平松
tuanheqi
AireenBeryl531
kingwill
皖公网安备34019202002308
