BitC
Hopp til navigering
Hopp til søk
| BitC | |||
|---|---|---|---|
| Filendelse(r) | Lua-feil i Modul:Wikidata2, linje 231: attempt to call method 'getBestStatements' (a nil value). | ||
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]
- ↑ «Jonathan S. Shapiro: Retrospective Thoughts on BitC». Arkivert fra originalen 22. juni 2012. Besøkt 11. juni 2012.
Autoritetsdata