An abstract view on syntax with sharing

Details An abstract view on syntax with sharing An abstract view on syntax with sharing

2010-09-20

arxiv.org/abs/1009.3682v2

Computer Science

Logic in Computer Science

26 pages; v2: final journal version

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

An abstract view on syntax with sharing does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with An abstract view on syntax with sharing, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and An abstract view on syntax with sharing will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-262916