A Logic-Independent IDE
arXiv:1410.8219v113 citations
Originality Synthesis-oriented
AI Analysis
This provides a tool for researchers and developers working with various logical systems, though it appears incremental as it builds on existing systems like MMT and jEdit.
The authors tackled the problem of developing a logic-independent integrated development environment (IDE) by combining the MMT system with the jEdit text editor, resulting in an IDE with advanced features like context-sensitive auto-completion, search, and change management.
The author's MMT system provides a framework for defining and implementing logical systems. By combining MMT with the jEdit text editor, we obtain a logic-independent IDE. The IDE functionality includes advanced features such as context-sensitive auto-completion, search, and change management.