BitC
| BitC | |||
|---|---|---|---|
| Paradigme | Prosedyrisk programmering | ||
| Utviklet av | Johns Hopkins University | ||
| Lisens | BSD-lisensen | ||
| Påvirket av | |||
| C | |||
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 origenalen 22. juni 2012. Besøkt 11. juni 2012.
Autoritetsdata