A Logic-Independent IDE

A Logic-Independent IDE

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.

Bibliographic Details
Main Author: Florian Rabe
Format: Article
Language:English
Published: Open Publishing Association 2014-10-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1410.8219v1
id doaj-dd1dbf0c3cc94717bb811ab23618818d
record_format Article
spelling doaj-dd1dbf0c3cc94717bb811ab23618818d2020-11-24T21:06:42ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802014-10-01167Proc. UITP 2014486010.4204/EPTCS.167.7:1A Logic-Independent IDEFlorian Rabe0 Jacobs University Bremen 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.http://arxiv.org/pdf/1410.8219v1
collection DOAJ
language English
format Article
sources DOAJ
author Florian Rabe
spellingShingle Florian Rabe
A Logic-Independent IDE
Electronic Proceedings in Theoretical Computer Science
author_facet Florian Rabe
author_sort Florian Rabe
title A Logic-Independent IDE
title_short A Logic-Independent IDE
title_full A Logic-Independent IDE
title_fullStr A Logic-Independent IDE
title_full_unstemmed A Logic-Independent IDE
title_sort logic-independent ide
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2014-10-01
description 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.
url http://arxiv.org/pdf/1410.8219v1
work_keys_str_mv AT florianrabe alogicindependentide
AT florianrabe logicindependentide
_version_ 1716765025865039872

Similar Items