ASF+SDF公司

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


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。;埃克,史蒂文;恩格伦,吕克;德容格,马尔杰;卡尔勒伯格,卡尔·特里格夫;纳特莱恩。;莫劳,皮埃尔·艾蒂安;维瑟,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)