文件名称：seqcomp:带谓词变压器的词组
文件大小：1.96MB
文件格式：ZIP
更新时间：2024-05-07 03:35:19
带谓词变压器的词组 用于程序片段组成推理的轻松内存模型
【文件预览】：
seqcomp-master
----examples.agda(10KB)
----paper()
--------fig-q1.tex(2KB)
--------fig-sp.tex(1KB)
--------1SUB()
--------DRAFT.pdf(322KB)
--------appendix.tex(2KB)
--------macros.sty(61KB)
--------quiescence.tex(25KB)
--------acmart.cls(98KB)
--------procalg.tex(15KB)
--------discussion.tex(84KB)
--------variants.tex(50KB)
--------definitions.tex(67KB)
--------fig-q2.tex(3KB)
--------DRAFT-LONG.pdf(385KB)
--------outro.tex(3KB)
--------fig-full.tex(8KB)
--------abstract.tex(2KB)
--------intro.tex(27KB)
--------egc.tex(5KB)
--------fig-no-q.tex(8KB)
--------paper.tex(6KB)
--------Makefile(786B)
--------fig-no-addr.tex(3KB)
--------oopsla.tex(27KB)
--------IEEEtran.cls(275KB)
--------bib.bib(99KB)
--------arm.tex(25KB)
--------complications.tex(21KB)
--------twocolumns.tex(5KB)
--------ACM-Reference-Format.bst(83KB)
--------fig-no-q-or-addr.tex(3KB)
--------fig-sem.tex(12KB)
----pomset.agda(3KB)
----augmentation.agda(14KB)
----seqcomp.agda(4KB)
----LICENSE-CC-BY-SA(20KB)
----monoid.agda(31KB)
----.travis.yml(84B)
----parcomp.agda(2KB)
----prelude.agda(6KB)
----semantics.agda(4KB)
----README.md(261B)
----data.agda(51B)
----data-model.agda(4KB)
----.gitignore(128B)
----command.agda(759B)
----main.agda(2KB)