DeepAI AI Chat
Log In Sign Up

Isabelle/jEdit as IDE for Domain-specific Formal Languages and Informal Text Documents

11/27/2018
by   Makarius Wenzel, et al.
0

Isabelle/jEdit is the main application of the Prover IDE (PIDE) framework and the default user-interface of Isabelle, but it is not limited to theorem proving. This paper explores possibilities to use it as a general IDE for formal languages that are defined in user-space, and embedded into informal text documents. It covers overall document structure with auxiliary files and document antiquotations, formal text delimiters and markers for interpretation (via control symbols). The ultimate question behind this: How far can we stretch a plain text editor like jEdit in order to support semantic text processing, with support by the underlying PIDE framework?

READ FULL TEXT
01/29/2019

Structuring an unordered text document

Segmenting an unordered text document into different sections is a very ...
07/14/2012

Isabelle/jEdit --- a Prover IDE within the PIDE framework

PIDE is a general framework for document-oriented prover interaction and...
06/12/2018

What Does This Notation Mean Anyway?

Following the introduction of BNF notation by Backus for the Algol 60 re...
06/02/2017

Efficient Textual Representation of Structure

This paper attempts a more formal approach to the legibility of text bas...
06/19/2019

Transformation of XML Documents with Prolog

Transforming XML documents with conventional XML languages, like XSL-T, ...
03/11/2013

Visualizing and Interacting with Concept Hierarchies

Concept Hierarchies and Formal Concept Analysis are theoretically well g...
05/05/2019

Interaction with Formal Mathematical Documents in Isabelle/PIDE

Isabelle/PIDE has emerged over more than 10 years as the standard Prover...