checked-c - Programming language

checked-c is a programming language created in 2015 by David Tarditi.

#576on PLDB

9Years Old

Download source code:

git clone https://github.com/Microsoft/checkedc

Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, and test code.

Tags: programming language
checked-c is developed on GitHub and has 3,196 stars
Early development of checked-c happened in Microsoft
checked-c is written in C, Tex, Markdown, Make, R, CMake, CSV
Read more about checked-c on the web: 1.