{"title":"Isabelle/jEdit作为特定领域的正式语言和非正式文本文档的IDE","authors":"M. Wenzel","doi":"10.4204/EPTCS.284.6","DOIUrl":null,"url":null,"abstract":"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?","PeriodicalId":10720,"journal":{"name":"CoRR","volume":"44 1","pages":"71-84"},"PeriodicalIF":0.0000,"publicationDate":"2018-11-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":"{\"title\":\"Isabelle/jEdit as IDE for Domain-specific Formal Languages and Informal Text Documents\",\"authors\":\"M. Wenzel\",\"doi\":\"10.4204/EPTCS.284.6\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"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?\",\"PeriodicalId\":10720,\"journal\":{\"name\":\"CoRR\",\"volume\":\"44 1\",\"pages\":\"71-84\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-11-27\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"8\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"CoRR\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.4204/EPTCS.284.6\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"CoRR","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4204/EPTCS.284.6","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 8
摘要
Isabelle/jEdit是Prover IDE (PIDE)框架的主要应用程序，也是Isabelle的默认用户界面，但它并不局限于定理证明。本文探讨了将它用作在用户空间中定义并嵌入到非正式文本文档中的正式语言的通用IDE的可能性。它涵盖了整个文档结构，包括辅助文件和文档反引号、正式文本分隔符和用于解释的标记(通过控制符号)。这背后的终极问题是:在底层PIDE框架的支持下，我们可以将jEdit这样的纯文本编辑器扩展到什么程度，以支持语义文本处理?
Isabelle/jEdit as IDE for Domain-specific Formal Languages and Informal Text Documents
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?
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
