Welcome on ComenC Web Site
B0 Implementation Translation into C Language
The ComenC translator is a new translator for B language and allows for B0 implementations to be translated into C language. This translator is a result of a convergence between industrial translators and research works.
In comparison to prior translators, the ComenC translator offers a simple translator for a more efficient code, closer to the original B0.
The C ComenC translator is now provided with Atelier B 4.0
For any informations/feedback, a newsgroup is available on this link : B Tools Forum.