阿泰姆

gc2:ATERM库的一个世代保守的垃圾回收器atrm库是一个设计良好并且在术语重写社区中很有名的库。文中重点讨论了本系统所提供的内存管理的一些特点。我们将解释我们如何设计和实现gc2,一个新的基于这些特性的atrm库的标记和扫描分代垃圾收集器。在各种程序上的实验结果验证了我们的方法,并表明新算法的性能非常好。


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

显示第1到第20个结果,共43个。
按年份排序(引用)
  1. Blom,Stefan;Lisser,Bert;van de Pol,Jaco;Weber,Michael:分布式状态空间生成的数据库方法(2011)
  2. Rinderknecht,Christian;Volanschi,Nic:元计算的非解析模式的理论与实践(2010)
  3. 埃米莉·巴拉德、莫罗、皮埃尔·艾蒂安、雷尔斯、安托万:《Java重写策略》(2008)ioport公司
  4. Blom,Stefan;Lisser,Bert;van de Pol,Jaco;Weber,Michael:分布式状态空间生成的数据库方法(2008)
  5. Blom,Stefan;van de Pol,Jaco:具有递归数据类型的过程代数的符号可达性(2008)
  6. Tveretina,Olga;Wesselink,Wieger:EufDPLL——检验等式逻辑公式可满足性的工具(2008)
  7. Badban,Bahareh;Van De Pol,Jaco;Tveretina,Olga;Zantema,Hans:概括DPLL和平等满意度(2007)
  8. Cirstea,Horatiu;Faure,Germain;Kirchner,Claude:A(\rho)-显式约束应用演算(2007)
  9. Denker,Gritt;Talcott,Carolyn;Rosu,Grigore;van den Brand,Mark;Eker,Steven;Şerbănuţă,Traian Florin:重写逻辑系统(2007)ioport公司
  10. Gao,H.;Groote,J.F.;Hesselink,W.H.:mark&sweep的无锁并行和并发垃圾收集(2007)
  11. Iversen,Jørgen Bødergaard:一个面向标准ML的动作编译器(2007)
  12. Kieburtz,Richard B.:程序验证的程序化策略(2007)
  13. Reilles,Antoine:规范抽象语法树(2007)
  14. van Weerdenburg,Muck:应用术语重写的实现(2007)
  15. 《非侵入式化学应用:非侵入式化学方法》(2006年,安德烈·内塞尔纳;非侵入式化学应用)
  16. Bravenboer,Martin;van Dam,Arthur;Olmos,Karina;Visser,Eelco:带作用域动态重写规则的程序转换(2006)
  17. 多罗申科,安纳托利;舍甫琴科,罗斯兰:基于规则编程动态应用程序的重写框架(2006)
  18. 霍尔特,理查德·C.;舒尔,安迪;西蒙,苏珊·埃利奥特;温特,安德烈亚斯:一种基于图形的再造标准交换格式(2006)
  19. Goncharov,S.V.;Rudich,A.Ye.:将代数程序翻译成可执行代码(2005)
  20. Visser,Eelco:基于规则的程序转换系统中的策略调查(2005)