Xtext(扩展文本) swMATH ID: 16255 软件作者: eclipse.org 描述: Xtext是一个用于开发编程语言和特定领域语言的框架。使用Xtext,您可以使用强大的语法语言定义语言。因此,您可以获得完整的基础设施,包括解析器、链接器、类型检查器、编译器以及对Eclipse、IntelliJ IDEA和您喜爱的web浏览器的编辑支持。 主页: http://www.eclipse.org/Xtext/ 相关软件: 孢子虫;西洋陆军棋;ANTLR公司;里奥;架构设计模式;动态体系结构;FACTum公司;存档正式证据;共性;FDR3公司;HOL公司;伊萨尔;NuSMV公司;伊莎贝尔/伊萨尔;伊莎贝尔/HOL;Rapide公司;伊莎贝尔;Coq公司;自由Fem++;李斯特 引用于: 6文件 全部的 前5名被21位作者引用 1 杰罗尼莫·卡斯特里隆 1 米拉·达拉·普雷达 1 洛科·德尼古拉 1 玛格斯·弗洛伊登塔尔 1 毛里齐奥·加布里埃利 1 萨维里奥·贾勒伦佐 1 哈布托姆·卡西·吉迪 1 斯文·卡罗尔 1 萨门·凯什扎德 1 伊万·拉内斯 1 卢赫·拉富恩特,阿尔贝托 1 米歇尔·洛雷蒂 1 迭戈·马姆斯勒 1 雅各布·毛罗 1 阿扬·J·穆伊(Arjan J.Mooij)。 1 安德烈亚·莫里切塔 1 托拜厄斯·奈特 1 罗萨里奥·普格利泽 1 斯巴尔扎里尼(Ivo F.Sbalzarini)。 1 瓦莱里奥·塞尼 1 弗朗西斯科·蒂齐 4篇连载文章中引用 2 计算的形式方面 1 ACM数学软件汇刊 1 塔尔图大学数学学位论文 1 计算机科学中的逻辑方法 在2个字段中引用 6 计算机科学(68至XX) 1 数值分析(65-XX) 按年份列出的引文