source: Papers/structured-traces-2012 @ 2479

Name Size Rev Age Author Last Change
structured-traces.bib 0 bytes 2330   7 years mulligan Added directory for new structured traces paper.
structured-traces.tex 8.2 KB 2479   7 years mulligan A small amount of rewriting as i didn't like the original introduction …
traces.svg 36.2 KB 2461   7 years campbell First cut of inductive structured traces diagrams.
Note: See TracBrowser for help on using the repository browser.