翻訳と辞書 Words near each other ・ BitBake ・ Bitblinder ・ Bitboard ・ BitBoys ・ Bitbucket ・ Bitburg ・ Bitburg Airport ・ Bitburg controversy (1985) ・ Bitburg Middle-High School ・ Bitburg-Land ・ Bitburg-Prüm ・ Bitburger brewery ・ Bitburger Land ・ Bitburger Open ・ BITC ・ BitC ・ Bitcasa ・ Bitcask ・ Bitch ・ Bitch (band) ・ Bitch (E-40 song) ・ Bitch (insult) ・ Bitch (Law & Order) ・ Bitch (magazine) ・ Bitch (Meredith Brooks song) ・ Bitch (performer) ・ Bitch (Sevendust song) ・ Bitch (short story) ・ Bitch (The Rolling Stones song) ・ Bitch Alert Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク BitC ： ウィキペディア英語版 BitC BitC is a systems programming language developed by researchers〔(Coyotos People ). Bitc-lang.org. Retrieved on 2013-07-21.〕 at the Johns Hopkins University and (The EROS Group, LLC ) as part of the Coyotos project. It aims to support formal program verification. ==Objectives== The language has two primary objectives: # To merge the advances of modern programming languages; sound type systems with abstraction, sound and complete type inference, let-polymorphism, and mathematically grounded semantics — with the requirements of systems programming; first-class treatment of state, support for prescriptive low-level representation, explicitly unboxed types, and performance comparable to C. # To support formal program verification of low-level systems programs, such as kernels/microkernels. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「BitC」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.