Bitc

bitc
Språkklass programmeringsspråk och procedurspråk
Författare Jonathan S. Shapiro, Swaroop Sridhar och M. Scott Doerrie
Utvecklaren Johns Hopkins University , The EROS Group, LLC
Släpp BitCC 0.9.1 (17 februari 2006)
Testversion BitC 0.11+ Transitional (28 september 2008)
Blivit påverkad C , ML / Haskell , Schema [1]
Licens BSD
Hemsida bitc-lang.org

BitC  är ett systemprogrammeringsspråk utvecklat av forskare vid Johns Hopkins University och The EROS Group som en del av Coyotos -projektet . Det är typsäkert , fokuserat på utveckling av pålitliga ( verifierbara ) inbyggda system , drivrutiner och andra systemprogrammeringsuppgifter .

Mål

Språket skapades för att lösa två huvudproblem:

  1. Kombinera prestationerna från moderna programmeringsspråk samtidigt som prestandan för C -språket bibehålls .
  2. Förenkla verifieringen av lågnivåprogram som operativsystemets kärna / mikrokärna .

Prestationer

För närvarande är det möjligt att implementera en MPEG - avkodare eller SHA-1 kryptografisk hashalgoritm i BitC som kommer att bevisas vara säker och ändå konkurrera i prestanda med C -implementeringen . Detta kan inte uppnås i Standard ML , OCaml eller Haskell . [2]

Skick

I april 2009 meddelade huvudutvecklaren, Jonathan Shapiro [3] , att han hade accepterat Microsofts erbjudande om att arbeta med operativsystemet Midori och skulle sluta arbeta med programmeringsspråket i augusti [4] . I mars 2010 meddelade han att han lämnade Microsoft och skulle fortsätta arbeta på BitC [5] . Men i mars 2012 meddelade han att han äntligen skulle stoppa utvecklingen, eftersom språket hade grundläggande designfel och inte skulle fungera i sin nuvarande form [6] . Den 26 februari 2015 tillkännagavs arbetet med version 0.2 av språkspecifikationen [7] på den officiella webbplatsen .

Se även

Anteckningar

  1. ↑ BitC-programmeringsspråket . — “BitC är ett nytt systemprogrammeringsspråk. Det strävar efter att kombinera flexibiliteten, säkerheten och rikedomen hos Standard ML eller Haskell med den låga uttrycksförmågan hos C. ... BitC har just gjort en övergång från en LISP-liknande (s-uttryck) syntax till en mer konventionell syntax .".  (inte tillgänglig länk)
  2. ↑ ChampReview .
  3. ↑ Historien om Coyotos-projektet Arkiverad 1 augusti 2012.
  4. ↑ [bitc-dev] Var har shap gömt sig? Arkiverad från originalet den 3 augusti 2012. . Coyotos.org. Hämtad 2013-07-21.
  5. ↑ [bitc-dev] Granskning av tillståndet för BitC Arkiverad 14 april 2013. . Coyotos.org. Hämtad 2013-07-21.
  6. ↑ [bitc-dev] Retrospektiva tankar om BitC Arkiverad 22 juni 2012 på Wayback Machine . Coyotos.org. Hämtad 2013-07-21.
  7. ↑ Utkast till Bitc Specitication Arkiverad 2 april 2015.

Länkar

 Programmeringsspråk