You Here : Home > Linux

B Compiler

OS Support:

Linux, Vista, WinXP


Old version


May 19 2009


B Compiler


The B compiler is a tool able to parse B models, and perform syntaxic and semantic analysis. It can also be used as a library, linked to applications manipulating B models (cross referencer, code generator, documentation generator, etc.).

Related Downloads

  • Compiler tools for Nemerle alpha
  • RiDL is a set of tools to simplify building compilers using Nemerle. It includes a lexical analyzer generator and a parser...

  • Steini\'s Mini Compiler prealpha
  • Steini\'s Mini Compiler is a fast DOS 16 bit compiler. Please help to improve the programming language writing new commands. The compiler uses a set of assembly files for the compilation...

    Software Tags

    B Compiler

    Size : 2.2 MB