English

A Logic-Independent IDE

Logic in Computer Science 2014-10-31 v1 Human-Computer Interaction
Authors: Florian Rabe
View on arXiv ↗ PDF ↗ DOI ↗

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.

Cite

@article{arxiv.1410.8219,
  title  = {A Logic-Independent IDE},
  author = {Florian Rabe},
  journal= {arXiv preprint arXiv:1410.8219},
  year   = {2014}
}

Comments

In Proceedings UITP 2014, arXiv:1410.7850

Related papers

View all related →
Software Engineering · Computer Science
LoIDE: a web-based IDE for Logic Programming - Preliminary Technical Report
Stefano Germano, Francesco Calimeri, Eliana Palermiti
2017-09-19
Software Engineering · Computer Science
Tool-Augmented LLMs as a Universal Interface for IDEs
Yaroslav Zharov, Yury Khudyakov, Evgeniia Fedotova, Evgeny Grigorenko +1
2024-02-20
Logic in Computer Science · Computer Science
Rapid Prototyping Formal Systems in MMT: 5 Case Studies
Dennis Müller, Florian Rabe
2019-10-25
Computation and Language · Computer Science
Evaluating MT Systems: A Theoretical Framework
Rajeev Sangal
2022-02-14
Software Engineering · Computer Science
A New Generation of Intelligent Development Environments
Mark Marron
2024-06-17
Logic in Computer Science · Computer Science
The MMT API: A Generic MKM System
Florian Rabe
2013-06-14
Multiagent Systems · Computer Science
Autonomic Management for Multi-agent Systems
Nadir K. Salih, Tianyi Zang, PG. K. Viju, Abdelmotalib A. Mohamed
2011-11-30
Software Engineering · Computer Science
Formal Reasoning Using an Iterative Approach with an Integrated Web IDE
Nabil M. Kabbani, Daniel Welch, Caleb Priester, Stephen Schaub +3
2015-08-20
Computation and Language · Computer Science
M-MAD: Multidimensional Multi-Agent Debate for Advanced Machine Translation Evaluation
Zhaopeng Feng, Jiayuan Su, Jiamei Zheng, Jiahan Ren +4
2025-02-21
Software Engineering · Computer Science
Control Models for In-IDE Code Completion
Aral de Moor, Yana Hrynevich, Hleb Badzeika, Vladyslav Furda +5
2026-01-29
Software Engineering · Computer Science
JetTrain: IDE-Native Machine Learning Experiments
Artem Trofimov, Mikhail Kostyukov, Sergei Ugdyzhekov, Natalia Ponomareva +2
2024-02-19
Software Engineering · Computer Science
Using an LLM to Help With Code Understanding
Daye Nam, Andrew Macvean, Vincent Hellendoorn, Bogdan Vasilescu +1
2024-01-18
Computation and Language · Computer Science
Translation Word-Level Auto-Completion: What can we achieve out of the box?
Yasmin Moslem, Rejwanul Haque, Andy Way
2022-10-25
Formal Languages and Automata Theory · Computer Science
Declarative Integration and Management of Large Language Models through Finite Automata: Application to Automation, Communication, and Ethics
Thierry Petit, Arnault Pachot, Claire Conan-Vrinat, Alexandre Dubarry
2024-09-24
Software Engineering · Computer Science
Copilot Evaluation Harness: Evaluating LLM-Guided Software Programming
Anisha Agarwal, Aaron Chan, Shubham Chandel, Jinu Jang +5
2024-02-23
Computation and Language · Computer Science
mEdIT: Multilingual Text Editing via Instruction Tuning
Vipul Raheja, Dimitris Alikaniotis, Vivek Kulkarni, Bashar Alhafni +1
2024-04-18
Programming Languages · Computer Science
A web-based IDE for IDP
Ingmar Dasseville, Gerda Janssens
2015-11-04
Logic in Computer Science · Computer Science
A Scalable Module System
Florian Rabe, Michael Kohlhase
2011-05-04
Computer Vision and Pattern Recognition · Computer Science
SmartEdit: Exploring Complex Instruction-based Image Editing with Multimodal Large Language Models
Yuzhou Huang, Liangbin Xie, Xintao Wang, Ziyang Yuan +7
2023-12-13
Digital Libraries · Computer Science
Editing Knowledge in Large Mathematical Corpora. A case study with Semantic LaTeX (sTeX)
Constantin Jucovschi
2010-10-29
Computation and Language · Computer Science
IMTLab: An Open-Source Platform for Building, Evaluating, and Diagnosing Interactive Machine Translation Systems
Xu Huang, Zhirui Zhang, Ruize Gao, Yichao Du +5
2023-10-18
Computation and Language · Computer Science
STRIDE: A Tool-Assisted LLM Agent Framework for Strategic and Interactive Decision-Making
Chuanhao Li, Runhan Yang, Tiankai Li, Milad Bafarassat +3
2024-05-29
Human-Computer Interaction · Computer Science
Isabelle/jEdit as IDE for Domain-specific Formal Languages and Informal Text Documents
Makarius Wenzel
2018-12-02
cmp-lg · Computer Science
Tricolor DAGs for Machine Translation
Koichi Takeda
2008-02-03
Artificial Intelligence · Computer Science
Large Language Models and Explainable Law: a Hybrid Methodology
Marco Billi, Alessandro Parenti, Giuseppe Pisano, Marco Sanchi
2023-11-21
R2 v1 2026-06-22T06:41:13.157Z