Category:Term-rewriting programming languages

From HandWiki

Jump to: navigation, search

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)

R

RascalMPL (software)
Refal (computing)

T

Tom (pattern matching language) (software)
TXL (programming language) (computing)

W

Wolfram Language (computing)

Retrieved from "https://handwiki.org/wiki/index.php?title=Category:Term-rewriting_programming_languages&oldid=3104110"

Programming languages