BitC

Fra Wikipedia, den frie encyklopedi
Hopp til navigering Hopp til søk
BitC
ParadigmeProsedyrisk programmering
Utviklet avJohns Hopkins University
LisensBSD-lisensen
Innflytelse 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]

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