BitC
Utseende
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[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 fraoriginalen22. juni 2012.Besøkt 11. juni 2012.
Autoritetsdata