文件名称：分离逻辑资料大全
文件大小：15.88MB
文件格式：RAR
更新时间：2015-02-25 11:22:39
分离逻辑资料大全
网上能找到所有分离逻辑的资料，贡献给大家！
【文件预览】：
分离逻辑
----Communicating Sequential Processes.pdf(1.22MB)
----Hoare69.pdf(2.27MB)
----asl-short.pdf(225KB)
----Resources, Concurrency and Local Reasoning.pdf(346KB)
----C.A.R.Hoare.rar(4.75MB)
----popl08.pdf(227KB)
----mfps2011-cslsound.pdf(415KB)
----SLM08.pdf(250KB)
----Separation Logic A Logic for Shared Mutable Data Structures.pdf(298KB)
----sagltr.pdf(173KB)
----amortised-sep-logic.pdf(257KB)
----graphical-models.pdf(125KB)
----SepLogic.pdf(81KB)
----SeplogicInherit.pdf(300KB)
----WUSL_journal.pdf(287KB)
----基于分离逻辑的程序验证技术.pdf(603KB)
----pldi11.pdf(287KB)
----icai07-slides.pdf(373KB)
----IntroSep.pdf(201KB)
----septacs.pdf(127KB)
----Separation Logic and Abstraction.pdf(226KB)
----proba-sl.pdf(25KB)
----ssv09.pdf(387KB)
----amortised-sep-logic1.pdf(257KB)
----CAV08tutorial.pdf(855KB)
----composite.pdf(114KB)
----quals.pdf(327KB)
----tphols09.pdf(186KB)
----08-seplogic_4_in_1.pdf(1.36MB)
----msc-thesis.pdf(1.23MB)
----slj.pdf(921KB)
----10.1.1.66.6920.pdf(384KB)
----septacs0.pdf(127KB)