Rewriting Techniques and Applications, 14^th International Conference, RTA 2003, Valencia, Spain, June 9–11, 2003, Proceedings

François-Régis Sinot, M. F., & Mackie, I. (2003). Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9–11, 2003, Proceedings. Springer.

Type

Book chapter

Intellectual base

Review or monograph

Year

2003

DOI

10.1007/3-540-44881-0_5

Link

https://doi.org/10.1007/3-540-44881-0_5

Cited by

1 citation across 1 artifact.

Domain-specific

• Director string
  • Director strings are compact annotations on application structure that direct an evaluator toward precisely those branches in which a variable occurs.

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