An abstract view on syntax with sharing

DOI10.1093/LOGCOM/EXR021zbMATH Open1279.68231arXiv1009.3682OpenAlexW1537952312WikidataQ56474089 ScholiaQ56474089MaRDI QIDQ4902314

Richard Garner

Publication date: 14 January 2013

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Abstract: 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 paper 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.

Full work available at URL: https://arxiv.org/abs/1009.3682

zbMATH Keywords

term graphabstract expressioninductively generated syntaxsyntax with sharing

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (2)

Structure sharing for quantified terms: Fundamentals ⋮ Properties of a first-order functional language with sharing

Recommendations

• Properties of a first-order functional language with sharing 👍 👎
• Sharing in the Graph Rewriting Calculus 👍 👎
• Abstraction of Syntax 👍 👎
• A syntactic theory of type generativity and sharing 👍 👎
• Exploring the Syntax-Semantics Interface 👍 👎
• Processes, Terms and Cycles: Steps on the Road to Infinity 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: An abstract view on syntax with sharing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4902314)