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
ParadigmeProsedyrisk programmering
Utviklet avJohns Hopkins University
LisensBSD-lisensen
Påvirket av
C

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

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

  1. ^ «Jonathan S. Shapiro: Retrospective Thoughts on BitC». Arkivert fra originalen 22. juni 2012. Besøkt 11. juni 2012.