Find the word definition


BitC was a partially designed and implemented systems programming language developed by researchers at the Johns Hopkins University and The EROS Group, LLC as part of the Coyotos project. It aimed to support formal program verification. The primary designer of BitC stopped working on the language in 2012 claiming it had fundamental design flaws.