What does BITC mean in Software?
This page is about the meanings of the acronym/abbreviation/shorthand BITC in the Computing field in general and in the Software terminology in particular.
Find a translation for BITC in other languages:
Select another language:
What does BITC mean?
- BitC is a systems programming language developed by researchers at the Johns Hopkins University and The EROS Group, LLC as part of the Coyotos project. It aims to support formal program verification.