Submit Software
  1. Home
  2. Linux
  3. Other
  4. B Compiler

B Compiler 19.05.2009

License: Free ‎File size: N/A
‎Users Rating: 3.8/5 - ‎4 ‎votes
Download

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.).

VERSION HISTORY

  • Version bcomp%20source%2019.05.2009 posted on 2009-05-19
    Several fixes and updates
  • Version bcomp source 19.05.2009 posted on 2009-05-19

Program Details

Related Programs

  • SEO - Keyword Checker Free Trial

    Analyse any Webpage and check for the most used Keywords

  • Finite State Machine Language Free

    A language in which to specify Finite State Machines. These machines are then implemented in different languages, and even in different models within those languages, through code generated by fsmlang. Also, a tabular depec

  • MVR Composer Free

    The Multivariate Regression Composer, a Matlab toolbox. It generates a regression model of the optimal structure. Uses the source data set, the initial models and the primitive functions.

  • Design Pattern Automation Toolkit Free

    A toolkit to design applications using design patterns, with facility to generate code, and reverse engineering. Drag and Drop facility to create UML Class diagrams Support to write custom plug-ins for code generators and r

  • Software Build System Free

    Krypton is a software build tool that applies an artifact-oriented paradigm to the build whereby the focus is on what is built rather than how it is built. Krypton's standard library provides support for building both Java an

  • MammoothLibrary Free

    MammoothLibrary is a collection of C++ classes, mainly designed to supply a multithreaded portable framework, with very simple to use directives to create and manage threads and sockets. The core is based on the SCOOP model,

  • codavaj - javadoc in reverse Free

    codavaj - javadoc in reverse. A seemingly useless reverse engineering tool to transform HTML javadoc into java source file skeletons - or a reflection api-like internal representation.

  • yaf Free

    yaf! stands for Yet Another Fotoalbum! and is another photo album CGI script.

  • GuardX Antivirus Free Trial

    You are afraid that your on your phone will be installed malicious application or your personal data will be stolen? Then, use GuardX. It protects your applications from malicious and spyware. Using GuardX your phone always b

  • Redmine Client Free

    Redmine Client is a free and opensource desktop tool for reporting time spent on issues and creating issues in the Redmine Project Management System and a library of functions encapsulating the features of Redmine Project Man