Bitc

bitc
Kieliluokka ohjelmointikieli ja prosessiohjelmointikieli
Tekijä Jonathan S. Shapiro, Swaroop Sridhar ja M. Scott Doerrie
Kehittäjä Johns Hopkins University , EROS Group, LLC
Vapauta BitCC 0.9.1 (17. helmikuuta 2006)
Testiversio BitC 0.11+ siirtymävaihe (28. syyskuuta 2008)
Vaikutettu C , ML / Haskell , Kaava [1]
Lisenssi BSD
Verkkosivusto bitc-lang.org

BitC  on Johns Hopkins Universityn ja EROS Groupin tutkijoiden kehittämä järjestelmäohjelmointikieli osana Coyotos -projektia . Se on tyyppiturvallinen ja keskittyy luotettavien ( varmennettavien ) sulautettujen järjestelmien , ajurien ja muiden järjestelmän ohjelmointitehtävien kehittämiseen .

Tavoitteet

Kieli luotiin ratkaisemaan kaksi pääongelmaa:

  1. Yhdistä nykyaikaisten ohjelmointikielten saavutukset säilyttäen samalla C -kielen suorituskyvyn .
  2. Yksinkertaista matalan tason ohjelmien, kuten käyttöjärjestelmän ytimen / mikroytimen , todentamista.

Saavutukset

Tällä hetkellä BitC:ssä on mahdollista toteuttaa MPEG - dekooderi tai SHA-1 kryptografinen hajautusalgoritmi , joka on todistetusti turvallinen ja silti kilpailee suorituskyvyltään C -toteutuksen kanssa . Tätä ei voida saavuttaa Standard ML :ssä , OCamlissa tai Haskellissa . [2]

Kunto

Huhtikuussa 2009 johtava kehittäjä Jonathan Shapiro [3] ilmoitti hyväksyneensä Microsoftin tarjouksen työskennellä Midori - käyttöjärjestelmän parissa ja lopettavansa ohjelmointikielen työskentelyn elokuussa [4] . Maaliskuussa 2010 hän ilmoitti jättävänsä Microsoftin ja jatkavansa työskentelyä BitC:n parissa [5] . Maaliskuussa 2012 hän kuitenkin ilmoitti lopettavansa lopulta kehityksen, koska kielessä oli perustavanlaatuisia suunnitteluvirheitä eikä se toimisi nykyisessä muodossaan [6] . 26. helmikuuta 2015 kielimäärittelyn [7] version 0.2 työstä julkistettiin virallisella verkkosivustolla .

Katso myös

Muistiinpanot

  1. ↑ BitC-ohjelmointikieli . — BitC on uusi järjestelmäohjelmointikieli. Se pyrkii yhdistämään Standard ML:n tai Haskellin joustavuuden, turvallisuuden ja rikkauden C:n matalan tason ilmeisyyteen. ... BitC on juuri siirtynyt LISP:n kaltaisesta (s-lauseke) syntaksista tavanomaisempaan syntaksiin .".  (linkki ei saatavilla)
  2. ↑ ChampReview .
  3. ↑ Coyotos-projektin historia Arkistoitu 1. elokuuta 2012.
  4. ↑ [bitc-dev] Missä shap piileskeli? Arkistoitu alkuperäisestä 3. elokuuta 2012. . Coyotos.org. Haettu 21.07.2013.
  5. ↑ [bitc-dev] BitC:n tilan tarkistaminen Arkistoitu 14. huhtikuuta 2013. . Coyotos.org. Haettu 21.07.2013.
  6. ↑ [bitc-dev] Retrospective Thoughts on BitC Arkistoitu 22. kesäkuuta 2012 Wayback Machinessa . Coyotos.org. Haettu 21.07.2013.
  7. ↑ Luonnos Bitc Specication arkistoitu 2. huhtikuuta 2015.

Linkit

 Ohjelmointikielet