• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of logic and computation >An abstract view on syntax with sharing
【24h】

An abstract view on syntax with sharing

机译：共享语法的抽象视图

获取原文
获取原文并翻译 | 示例
       
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The notion of term graph encodes a refinement of inductively generated syntax in which regard is paid to the the sharing and discard of subterms. Inductively generated syntax has an abstract expression in terms of initial algebras for certain endofunctors on the category of sets, which permits one to go beyond the set-based case, and speak of inductively generated syntax in other settings. In this article, we give a similar abstract expression to the notion of term graph. Aspects of the concrete theory are redeveloped in this setting, and applications beyond the realm of sets discussed.
机译：术语图的概念对归纳生成的语法进行了细化，其中考虑了子术语的共享和丢弃。归纳生成的语法在集合类别上具有某些终结符的初始代数形式，具有抽象表达，它允许人们超越基于集合的情况，并在其他设置中谈论归纳生成的语法。在本文中，我们对术语图的概念给出了类似的抽象表达。在这种情况下，具体理论的各个方面都得到了重新发展，其应用超出了讨论的范围。

著录项

  • 来源
    《Journal of logic and computation》 |2012年第6期|1427-1452|共26页
  • 作者

    RICHARD GARNER;

  • 作者单位

    Department of Computing, Macquarie University, NSW 2109, Australia;

  • 收录信息
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号