source: Papers/structured-traces-2012 @ 2845

Name Size Rev Age Author Last Change
structured-traces.bib 0 bytes 2330   9 years mulligan Added directory for new structured traces paper.
structured-traces.tex 8.4 KB 2480   9 years mulligan Some more changes.
traces.svg 36.2 KB 2461   9 years campbell First cut of inductive structured traces diagrams.
Note: See TracBrowser for help on using the repository browser.