source: Papers/cpp-exec-2012/ccexec.tex

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @2382   7 years campbell Final version of executable semantics paper.
(add) @2381   7 years campbell Executable semantics paper as it was in the first submission.
Note: See TracRevisionLog for help on using the revision log.