ASF+SDF公司

ASF+SDF元环境：基于组件的语言开发环境。AS+SDF元环境是一个交互式开发环境，用于自动生成用于构建语言定义和生成工具的交互式系统。多年来，该系统已被用于各种学术和商业项目，从正式的程序操作到COBOL系统的转换。由于现有的ASF+SDF元环境的实现开始显示出越来越多的遗留系统的特性，我们决定构建一个全新的、基于组件的版本。我们演示了这个新系统，并强调了它的开放式架构。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考文献35条,1标准件)

显示第1到第20个结果，共35个。
按年份排序(引用)
  1. 张敏；Ogata，Kazuhiro:从隐藏到可见：将行为理论转化为重写理论的统一框架（2018）
  2. 邓杜瓦，贝西克；弗洛里多，马里奥；特穆尔库兹亚；Marin，Mircea:CLP（（\mathsfH））：对冲的约束逻辑编程（2016）
  3. Söderberg，艾玛；Hedin，Görel:通过循环非终结属性重写声明性重写（2015）
  4. 黄奕玲；库斯特，文森特·J·J。；Willemse，Tim A.C.：大型强子对撞机紧凑μ介子螺线管实验的控制软件分析（2012）ioport公司
  5. 夏宾，雅克；法拉利，米里安；穆斯坎特，马丁A。；Réty，Pierre：《最小树语言扩展：XML类型兼容性和进化的基石》（2010）
  6. Cirstea、Horatiu；基什内尔，克劳德；科佩兹，拉杜；Moreau，Pierre Etienne:基于规则的语言的反模式（2010）
  7. 德波尔，弗兰克S。；Grabe，Immo：同步可重入多线程调用图中的自动死锁检测（2010）
  8. 杜兰，旧金山；曼纽尔，罗尔丹；巴赫，让·克里斯托夫；巴兰，埃米莉；范登品牌，马克；科迪，詹姆斯R。；埃克，史蒂文；恩格伦，吕克；德容格，马尔杰；卡尔勒伯格，卡尔·特里格夫；卡茨，伦纳德C.L。；莫劳，皮埃尔·艾蒂安；维瑟，Eelco：第三届重写引擎大赛（2010）
  9. 克莱恩，霍尔格；臀部，伯恩哈德；Völkel，Steven:MontiCore:领域特定语言的组合开发框架（2010）ioport公司
  10. 奥德涅斯·卡马乔，迭戈；男，金；范登品牌，马克；Vinju，Jurgen:使用注释语法自动生成程序翻译和验证工具（2010）
  11. 杜兰，旧金山；曼努埃尔；巴兰，埃米莉；范登品牌，马克；史蒂文，埃克尔；卡尔勒伯格，卡尔·特里格夫；卡茨，伦纳德C.L。；莫劳，皮埃尔·艾蒂安；舍甫琴科，罗斯兰；Visser，Eelco：第二届重写引擎大赛（2009）ioport公司
  12. 埃里森，楚其；Şerbănuţă，特里安·弗洛林；Roşu，Grigore:类型推理的重写逻辑方法（2009）
  13. 丹克，砂砾；塔尔科特，卡罗琳；罗素，格里戈尔；范登品牌，马克；埃克，史蒂文；Şerbănuţă，Traian Florin:重写逻辑系统（2007）ioport公司
  14. van Weerdenburg，Muck:应用术语重写的实现（2007）
  15. 安德烈，奥娜；伊巴内斯库，莉莉安娜；Kirchner，Hélène:化学应用的非侵入式形式化方法和策略重写（2006）
  16. 范登品牌，马克；艾弗森，约根；莫斯，彼得D.：一个行动环境（2006）
  17. 克鲁塞纳，A.S。；Lämmel，R。；Verhoef，C.：部署软件的架构修改（2005）
  18. Lämmel，Ralf:Haskell的可编程重写策略（白皮书）（2005）
  19. 梅尼克，马扬；Žumer，Viljem:增量编程语言开发（2005）
  20. Paige，Robert:NSF提案（2005）