Data structure traversal with Tom

(2008). Data structure traversal with Tom.

Type

Unclassified

Intellectual base

Unclassified

Year

2008

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Tom (programming language)
  • … pattern and matching semantics, rewrite rules, strategy language and traversal, typing and interoperability, generated code and confluence termination or execution-order assumptions are explicit. to An applied instance preserves the invariant under changed notation, scale, dataset, jurisdiction, or implementation..

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:d4a8aed40684 · see in the full table