source: Deliverables/Dissemination/proof-structured-traces @ 2589

Name Size Rev Age Author Last Change
../
cerco_logo.png 145.5 KB 2583   7 years campbell Structured traces talk with most of the content; not quite final.
compiler-plain.pdf 35.6 KB 2585   7 years campbell Many improvements to proof/structured traces talk.
compiler.pdf 84.0 KB 2585   7 years campbell Many improvements to proof/structured traces talk.
compiler.svg 18.3 KB 2585   7 years campbell Many improvements to proof/structured traces talk.
proof-structured-traces.pdf 525.8 KB 2589   7 years campbell Add one of the simulation diagrams
proof-structured-traces.tex 11.6 KB 2589   7 years campbell Add one of the simulation diagrams
strcall.pdf 35.4 KB 2589   7 years campbell Add one of the simulation diagrams
strcall.svg 11.1 KB 2589   7 years campbell Add one of the simulation diagrams
strtraces.pdf 36.6 KB 2583   7 years campbell Structured traces talk with most of the content; not quite final.
strtraces.svg 30.5 KB 2583   7 years campbell Structured traces talk with most of the content; not quite final.
traces.svg 36.2 KB 2583   7 years campbell Structured traces talk with most of the content; not quite final.
Note: See TracBrowser for help on using the repository browser.