C track

From CRV
Jump to: navigation, search

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.

C generic track

C implicit track