116:
42:
182:
21:
67:
103:
187:
151:
146:
91:
55:
17:
163:
29:
25:
176:
79:
129:
134:
41:
The following 11 pages are in this category, out of 11 total.
38:
Pages in category "Term-rewriting programming languages"
8:
43:This list may not reflect recent changes
7:
117:Q (equational programming language)
47:
35:
14:
1:
68:Clean (programming language)
104:Pure (programming language)
204:
152:TXL (programming language)
147:Tom (programming language)
92:OBJ (programming language)
56:Abstract rewriting machine
183:Programming languages
22:functional languages
24:that are based on
188:Rewriting systems
195:
164:Wolfram Language
119:
203:
202:
198:
197:
196:
194:
193:
192:
173:
172:
171:
170:
169:
168:
156:
139:
122:
115:
108:
96:
84:
72:
60:
34:
30:lambda calculus
28:instead of the
12:
11:
5:
201:
199:
191:
190:
185:
175:
174:
167:
166:
160:
157:
155:
154:
149:
143:
140:
138:
137:
132:
126:
123:
121:
120:
112:
109:
107:
106:
100:
97:
95:
94:
88:
85:
83:
82:
76:
73:
71:
70:
64:
61:
59:
58:
52:
49:
48:
39:
36:
26:term-rewriting
13:
10:
9:
6:
4:
3:
2:
200:
189:
186:
184:
181:
180:
178:
165:
162:
161:
158:
153:
150:
148:
145:
144:
141:
136:
133:
131:
128:
127:
124:
118:
114:
113:
110:
105:
102:
101:
98:
93:
90:
89:
86:
81:
78:
77:
74:
69:
66:
65:
62:
57:
54:
53:
50:
46:
44:
37:
33:
31:
27:
23:
19:
80:Maude system
40:
20:lists those
15:
177:Categories
130:RascalMPL
18:category
135:Refal
16:This
179::
45:.
32:.
159:W
142:T
125:R
111:Q
99:P
87:O
75:M
63:C
51:A
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.