BITC

Business in the Community

BitC

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. ==Objectives== The language has two primary objectives: ==History== The goals for the BitC language were set out in 2004 in Towards a Verified, Gener...
Found on http://en.wikipedia.org/wiki/BitC

BITC

Business in the Community (UK)
Found on http://www.encyclo.co.uk/local/20824
No exact match found