| bitc | |
|---|---|
| Sprog klasse | programmeringssprog og proceduresprog |
| Forfatter | Jonathan S. Shapiro, Swaroop Sridhar og M. Scott Doerrie |
| Udvikler | Johns Hopkins University , The EROS Group, LLC |
| Frigøre | BitCC 0.9.1 (17. februar 2006) |
| Test version | BitC 0.11+ Transitional (28. september 2008) |
| Blev påvirket | C , ML / Haskell , skema [1] |
| Licens | BSD |
| Internet side | bitc-lang.org |
BitC er et systemprogrammeringssprog udviklet af forskere ved Johns Hopkins University og The EROS Group som en del af Coyotos -projektet . Det er typesikkert , fokuseret på udvikling af pålidelige ( verificerbare ) indlejrede systemer , drivere og andre systemprogrammeringsopgaver .
Sproget blev skabt for at løse to hovedproblemer:
I øjeblikket er det muligt at implementere en MPEG - dekoder eller SHA-1 kryptografisk hashing -algoritme i BitC , som vil blive bevist sikker og alligevel konkurrere i ydeevne med C -implementeringen . Dette kan ikke opnås i Standard ML , OCaml eller Haskell . [2]
I april 2009 annoncerede hovedudvikleren, Jonathan Shapiro [3] , at han havde accepteret Microsofts tilbud om at arbejde på Midori -operativsystemet og ville stoppe med at arbejde på programmeringssproget i august [4] . I marts 2010 meddelte han, at han forlod Microsoft og ville fortsætte med at arbejde på BitC [5] . Men i marts 2012 meddelte han, at han endelig ville stoppe udviklingen, da sproget havde grundlæggende designfejl og ikke ville fungere i sin nuværende form [6] . Den 26. februar 2015 blev arbejdet med version 0.2 af sprogspecifikationen [7] annonceret på den officielle hjemmeside .
| Programmeringssprog | |
|---|---|
| |