BitC is a programming language currently being developed by researchers[1] at the Johns Hopkins University, as part of the Coyotos project. One of the objectives of BitC is to support formal program verification of low-level systems programs, such as kernels/microkernels. Computer code (HTML with JavaScript) in a tool that uses syntax highlighting (colors) to help the developer see the purpose of each piece of code. ... The Johns Hopkins University is a private institution of higher learning located in Baltimore, Maryland, United States. ... Coyotos is a secure operating system currently being developed by researchers[1] at the Johns Hopkins Universitys Systems Research Laboratory[2]. Objectives Though it has many objectives, one of the most interesting is to become the first formally verified operating system. ... Program verification is the process of formally proving that a computer program does exactly what is stated in the program specification it was written to realize. ... In computer engineering the kernel is the core of an operating system. ... Graphical overview of a microkernel A microkernel is a minimal form of computer operating system kernel providing a set of primitives, or system calls, to implement basic operating system services such as address space management, thread management, and inter-process communication. ...
It is an innovative language in that it combines the concepts and syntax of functional programming languages like Lisp with the close hardware interaction of low-level programming languages like C. Functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions. ... Lisp is a family of computer programming languages with a long history and a distinctive fully-parenthesized syntax. ... In computer science, a low-level programming language is a language that provides little or no abstraction from a computers microprocessor. ... The C Programming Language, Brian Kernighan and Dennis Ritchie, the original edition that served for many years as an informal specification of the language The C programming language is a standardized imperative computer programming language developed in the early 1970s by Dennis Ritchie for use on the Unix operating system. ...
History
Jonathan Shapiro has been a driving force behind both BitC and Coyotos[2]. Jonathan S. Shapiro is a expert in low-level computer system programing. ...
Status
BitC is currently under simultaneous development with the main Coyotos project. The new compiler for BitC, known as BitCC, was released in an alpha form (v. 0.9.1) on February 17, 2006.
The aim of this study was to investigate the antiproliferative effects of BITC and PEITC, two common dietary ITCs, and to establish whether the G^sub 2^/M phase DNA damage checkpoint was involved in inhibition of proliferation by BITC and PEITC.
BITC and PEITC both caused a gradual accumulation of cells in G^sub 2^/M phase at the expense of G^sub 0^/G^sub 1^ phase (Fig.
Comets were assigned to a class between 0 and 4 on the basis of visual inspection of the relative amount of DNA in the comet tail to the comet head.
Feeds |
Contact