BitC

Fra Wikipedia, den frie encyklopedi
Hopp til navigering Hopp til søk
BitC
Paradigme Prosedyrisk programmering
Utviklet avJohns Hopkins University
Innflytelse avC
LisensBSD-lisensen
Nettsidehttp://www.bitc-lang.org/

BitC er et programmeringsspråk for systemprogrammering som blir utviklet av forskere ved Johns Hopkins University og The EROS Group, LLC, som en del av prosjektet Coyotos. Formålet med BitC var å utvikle støtte for formell, programvarestyrt verifikasjon.

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

Status[rediger | rediger kilde]

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.[1]

Referanser[rediger | rediger kilde]