Tags: Programming Language.
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.
Loading...
This page contains content from the copyrighted Wikipedia article "BitC"; that content is used under the GNU Free Documentation License (GFDL). You may redistribute it, verbatim or modified, providing that you comply with the terms of the GFDL.