A Logic-Independent IDE
Florian Rabe (Jacobs University Bremen)
TL;DR
This paper presents a logic-independent integrated development environment (IDE) built by combining the MMT framework with the jEdit editor, enabling advanced features like auto-completion and search across various logical systems.
Contribution
The paper introduces a novel approach to creating a flexible IDE that supports multiple logical systems through the integration of MMT and jEdit.
Findings
Supports multiple logical systems within a single IDE
Provides context-sensitive auto-completion and search features
Enhances change management for logical frameworks
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.