BE4: The B Extensible Eclipse Editing Environment
The open-source Eclipse platform has become hugely popular as an integrated development environment for Java, and a considerable number of plug-ins have been developed for other programming languages (e.g., C++,PHP, Eiffel, Python, Fortran, etc.). In this paper we present a new plug-in for Eclipse, supporting the B-method and B’s abstract machine notation (AMN) . In addition to providing editing and syntax highlighting, the plug-in displays syntax and structural errors in the B source code, as well as suggesting fixes for those errors.
KeywordsSyntax Tree Interactive Proof Integrate Development Environment Outline View Mouse Point
Unable to display preview. Download preview PDF.
- 6.Tatibouet, B.: The jbtools package (2001), Available at: http://lifc.univ-fcomte.fr/PEOPLE/tatibouet/JBTOOLS/BParser_en.html