200:
96:
51:
72:
185:
175:
195:
180:
190:
156:
84:
22:
120:
17:
144:
169:
132:
108:
55:
71:
The following 7 pages are in this category, out of 7 total.
201:Implementation of functional programming languages
35:This category has only the following subcategory.
8:
97:Architecture Neutral Distribution Format
73:This list may not reflect recent changes
68:Pages in category "Abstract machines"
7:
77:
48:
37:
29:
14:
1:
52:Educational abstract machines
217:
16:The main article for this
15:
157:Warren Abstract Machine
186:Operational semantics
176:Models of computation
196:Rewriting systems
208:
181:Virtual machines
85:Abstract machine
57:
50:
23:Abstract machine
216:
215:
211:
210:
209:
207:
206:
205:
191:Lambda calculus
166:
165:
164:
163:
162:
161:
149:
137:
125:
121:Krivine machine
113:
101:
89:
65:
64:
63:
62:
59:
58:
47:
28:
27:
12:
11:
5:
214:
212:
204:
203:
198:
193:
188:
183:
178:
168:
167:
160:
159:
153:
150:
148:
147:
145:Turing machine
141:
138:
136:
135:
129:
126:
124:
123:
117:
114:
112:
111:
105:
102:
100:
99:
93:
90:
88:
87:
81:
79:
78:
69:
66:
61:
60:
46:
45:
42:
39:
38:
33:
30:
13:
10:
9:
6:
4:
3:
2:
213:
202:
199:
197:
194:
192:
189:
187:
184:
182:
179:
177:
174:
173:
171:
158:
155:
154:
151:
146:
143:
142:
139:
134:
131:
130:
127:
122:
119:
118:
115:
110:
107:
106:
103:
98:
95:
94:
91:
86:
83:
82:
80:
76:
74:
67:
53:
49:
44:
43:
40:
36:
32:Subcategories
31:
25:
24:
19:
133:SECD machine
70:
34:
21:
109:CEK Machine
56:(1 C, 12 P)
170:Categories
18:category
20:is
172::
75:.
54:
152:W
140:T
128:S
116:K
104:C
92:A
41:E
26:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.