source: Papers/structured-traces-2012 @ 2585

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