WG211/M14Blazy: 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.

7 January 2015

  • curprev 17:3117:31, 7 January 2015 Eric talk contribs 579 bytes +579 Created page with "Static analysis – the automatic determination of simple properties of a program – is the basis both for optimizing compilation and for verification of safety properties such ..."
Retrieved from "http://mw.hh.se/wg211/index.php?title=WG211/M14Blazy"