BitC

BitC
Paradigme		Prosedyrisk programmering
Utviklet av		Johns Hopkins University
Lisens		BSD-lisensen
Påvirket av
C

BitCer etprogrammeringsspråkfor systemprogrammering som blir utviklet av forskere vedJohns Hopkins Universityog The EROS Group, LLC, som en del av prosjektetCoyotos.Formålet med BitC var å utvikle støtte for formell, programvarestyrtverifikasjon.

BitC er foreløpig under betatesting. Den siste betaversjonen er 0.9.1 fra 17. februar 2006. Språket blir ikke lenger vedlikeholdt.

Status

Jonathan S. Shapiro, hovedutvikleren av BitC, kunngjorde i mars 2012 at han hadde sluttet å videreutvikle det, siden språket hadde grunnleggende designsvakheter og ikke var brukbart i sin nåværende form.

Referanser

Autoritetsdata