B Compiler Parse B model with this tool.
Download

B Compiler Ranking & Summary

B Compiler Tags

parser parse argument parse parse C++ header parse playlist parse Exec output parse Ethovision track parse webpage parse tool parse HTML parse schema parse URI parse expression parse file parse function parse library parse record Parse From parse VoiceXML document parse UBL document parse document parse GDSII database parse Dean Allens Textile parse sFlow parse pattern parse B model perform syntaxic semantic analysis syntaxic parse IPD parse e-mails parse rule LALR parse parse data parse makefile parse MGF parse iBatis map parse verilog parse text parse pcap file parse NMap output parse generator parse Uniprot parse Blast file parse ECMWF data parse bibtex

B Compiler Description

B compiler is a program designed 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.).

B Compiler Related Software