Theory and practice of constraint handling rules

Frühwirth, T. (1066). Theory and practice of constraint handling rules.

Type

Unclassified

Intellectual base

Unclassified

Year

1066

DOI

10.1016/s0743-1066(98)10005-5

Link

https://doi.org/10.1016/s0743-1066(98)10005-5

Cited by

1 citation across 1 artifact.

Domain-specific

• Rewriting
  • … identity and a convenient observable transfers from Arithmetic terms are simplified by repeatedly replacing subterms according to oriented identities until a normal form is reached. to A compiler transforms an intermediate representation with verified rewrite rules while tracking termination and semantics..

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