Category:Term-rewriting programming languages
![]() | Computing portal |
Here is a list of articles in the category Term-rewriting programming languages of the Computing portal that unifies foundations of mathematics and computations using computers.
Pages in category "Term-rewriting programming languages"
The following 12 pages are in this category, out of 12 total.
A
- Abstract rewriting machine (computing)
- ASF+SDF Meta Environment (software)
C
- Clean (programming language) (computing)
M
- Maude system (computing)
O
- OBJ (programming language) (computing)
P
- Pure (programming language) (computing)
Q
- Q (equational programming language) (computing)
T
- Tom (pattern matching language) (software)
- TXL (programming language) (computing)
W
- Wolfram Language (computing)