首页    期刊浏览 2024年11月10日 星期日
登录注册

文章基本信息

  • 标题:Uniform Resource Analysis by Rewriting: Strenghts and Weaknesses (Invited Talk)
  • 本地全文:下载
  • 作者:Georg Moser
  • 期刊名称:LIPIcs : Leibniz International Proceedings in Informatics
  • 电子版ISSN:1868-8969
  • 出版年度:2017
  • 卷号:84
  • 页码:2:1-2:10
  • DOI:10.4230/LIPIcs.FSCD.2017.2
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:In this talk, I'll describe how rewriting techniques can be successfully employed to built state-of-the-art automated resource analysis tools which favourably compare to other approaches. Furthermore I'll sketch the genesis of a uniform framework for resource analysis, emphasising success stories, without hiding intricate weaknesses. The talk ends with the discussion of open problems.
  • 关键词:resource analysis; term rewriting; automation
国家哲学社会科学文献中心版权所有