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
Boost application security and continuity with SKUDONET ADC, our Open Source Load Balancer, that maximizes IT infrastructure flexibility. Additionally, save up to $470 K per incident with AI and SKUDONET solutions, further enhancing your organization’s risk management and cost-efficiency strategies.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Another B TOOLS!