WG211/M14Taha: Revision history

From WG 2.11
Jump to navigationJump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

15 January 2015

  • curprev 22:3022:30, 15 January 2015 Eric talk contribs 281 bytes +281 Created page with "Title: Rigorous Simulation Abstract: We motivate the vision named in the title, and explain how it relates to program generation. We report on our progress towards this vision..."
Retrieved from "http://mw.hh.se/wg211/index.php?title=WG211/M14Taha"