Difference between revisions of "C track"
From CRV
(Created page with "There are two subtracks for this track this year. The generic track is for generic specifications (in the same style as those found in the Java and Offline track). The implici...") |
(No difference)
|
Latest revision as of 23:25, 23 April 2016
There are two subtracks for this track this year. The generic track is for generic specifications (in the same style as those found in the Java and Offline track). The implicit track is for properties such as memory-safety i.e. properties that are implicit in the C language.
