ASF+SDF公司

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