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.).
| File/Folder Name | Platform | Size | Date ↓ | Downloads | Notes/Subscribe |
|---|---|---|---|---|---|
| Subdirectory (view all files) | |||||
| B_COMPILER_sources_files | 2.2 MB | 2009-05-19 | 79 | Subscribe Folder view | |
| bcomp source 19.05.2009 | 2.2 MB | 2009-05-19 | 79 | Subscribe Folder view | |
| bcomp_source_19.05.2009.zip | 2.2 MB | 2009-05-19 | 79 | Release Notes | |
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use