Revision history of "C and C++"

From Openproofs

Browse history

From year (and earlier): From month (and earlier): all January February March April May June July August September October November December 

(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)

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

• (cur) (prev) 22:53, 6 February 2009 DWheeler (Talk | contribs) (436 bytes) (New page: Proving programs written in C and C++ can be challenging. Neither language strongly enforces types, both rely heavily on pointers (which are challenging for most proof systems to handle),...)

(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)