ABTools provides an open environment based on ANTLR and Java and provides some facilities for design and test the B language and somes extensions. ABTools est un environnement de développement base sur ANTLR et Java. Il permet de manipuler le langag
Features
- Parsing for B : OK
- Typing for B : OK
- GOP for B : ToDo
- C Code generator for B : ToDo
- JAVA Code Generator for B : ToDo
- JML Code Generator for B : ToDo
- ADA Code Generator for B : ToDo
License
GNU Library or Lesser General Public License version 2.0 (LGPLv2)Follow Another B TOOLS
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
There are no 2 star reviews.