Term Rewriting
Involves transforming expressions according to a set of rules to perform computation.
Details
Plangs
| Name | Description |
|---|---|
| Pure | Based on term rewriting, integrating symbolic computation and JIT compilation via LLVM. |
| TXL | Language for creating and manipulating programming languages with pattern-matching. |
| Wolfram Language | High-level language used in Mathematica, known for symbolic computation and functional programming. |