An abstract view on syntax with sharing

Garner, R. (2011). An abstract view on syntax with sharing.

Type

Unclassified

Intellectual base

Unclassified

Year

2011

DOI

10.1093/logcom/exr021

Link

https://doi.org/10.1093/logcom/exr021

Cited by

1 citation across 1 artifact.

Domain-specific

• Abstract semantic graph
  • ASGs or term graphs compact repeated structure, support common-subexpression elimination and graph rewriting, and may use directed acyclic structure for sharing or cycles for recursive definitions under explicit binding and mutation rules.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:85a5048ffbeb · see in the full table