SAL and VCC are for making C programs correct. This is related but not the same ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		pascal_cuoq on June 4, 2011 \| parent \| context \| favorite \| on: Are there subsets of C that avoid compiler bugs? SAL and VCC are for making C programs correct. This is related but not the same thing as making the C compiler correct. These source-level tools assume that the compiler translates the programs correctly.

keithnoizu on June 5, 2011 [–]

Hopefully we are self hosting at this point and smart enough to apply SAL and VCC to our compiler itself.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact