TXL公司

TXL源代码转换语言。TXL是一种特殊用途的编程语言,用于创建、操作和快速原型化语言描述、工具和应用程序。TXL旨在允许程序员显式地控制解析和重写规则的解释、应用、顺序和回溯。TXL在较高级别使用一阶函数编程,在较低级别使用术语重写,为遍历、保护、应用范围和参数化上下文提供了灵活的编程。这种灵活性使TXL用户能够表达和试验解析中的新思想,例如健壮、孤岛和敏捷解析,以及重写的新范式,如XML标记、重写策略和上下文化规则,而不需要对TXL本身进行任何更改。概述了它在现代哲学中的发展历程,并着重介绍了它在现代语言中的运用和发展。


zbMATH中的参考文献(引用于,第1条标准)

显示第1到16个结果,共16个。
按年份排序(引用)

  1. Besova,Galina;Steenken,Dominik;Wehrheim,Heike:基于语法的模型转换:定义、执行和质量属性(2015)
  2. Söderberg,Emma;Hedin,Görel:通过循环非终结属性重写声明性重写(2015)
  3. Zanibbi,Richard;Orakwue,Awelemdy:面向大众的数学搜索:多模式搜索界面和基于外观的检索(2015)
  4. Mezinerg,独立语法支持,Mezinerg;支持Mezinerg,2013;支持Mezinerg独立语言ioport公司
  5. 杜兰,弗朗西斯科;罗尔丹,曼努埃尔;巴赫,让-克里斯托夫;巴拉德,埃米莉;范登布兰德,马克;科迪,詹姆斯R;埃克尔,史蒂文;恩格伦,吕克;德容格,马尔特杰;卡尔伯格,卡尔特雷格夫;凯特,伦纳特C.L.;莫罗,皮埃尔艾蒂安;维瑟,Eelco:第三届重写引擎大赛(2010)
  6. Ordóñez Camacho,Diego;Mens,Kim;van den Brand,Mark;Vinju,Jurgen:使用注释语法自动生成程序翻译和验证工具(2010年)
  7. Güleşir,Gürcan;van den Berg,Klaas;Bergmans,Lodewijk;Akşit,Mehmet:事件驱动系统中源代码验证和转换工具的实验评估(2009)ioport公司
  8. Roy,Chanchal K.;Cordy,James R.;Koschke,Rainer:代码克隆检测技术和工具的比较和评估:定性方法(2009)
  9. Appeltauer,Malte;Kniesel,Günter:面向基于逻辑的转换规则的具体语法模式(2008)ioport公司
  10. Kiyavitskaya,Nadzeya;Zannone,Nicola:支持需求获取的需求模型生成:安全的Tropos体验(2008)ioport公司
  11. Pierre Alain Muller;Fondement,Frédéric;Fleurey,Franck;Hassenforder,Michel;Schnekenburger,Rémi;Gérard,Sébastien;Jézéquel,Jean-Marc:《文本具体句法的模型驱动分析与综合》(2008)ioport公司
  12. Walenstein,Andrew;Mathur,Rachit;Chouchane,Mohamed R.;Lakhotia,Arun:使用术语重写构建恶意软件规范化器。(2008年)ioport公司
  13. Carlos Bazilio;Haeusler,Edward Hermann;Endler,Markus:面向语言的形式分析:协议和分布式系统的案例研究(2007)
  14. 姚斌(Daniel Yao Bin,2007;高保真代码)
  15. 科迪,詹姆斯R.:TXL源代码转换语言(2006)
  16. Visser,Eelco:基于规则的程序转换系统中的策略调查(2005)