31:
446:
264:
for "outstanding contributions to semantics-directed compilation, especially partial evaluation, and to the theory of computation, formal models and their practical realization".
261:
113:
229:
His work spanned both programming languages and the theory of computation. Within programming languages he was particularly known for his work on
451:
342:
357:
Chin Soon Lee, Neil D. Jones and Amir M. Ben-Amram (2001), "The size-change principle for program termination",
171:
167:
95:
127:
383:
Neil D. Jones and
William T. Laaser (1974), "Complete Problems for Deterministic Polynomial Time",
223:
155:
441:
461:
253:
123:
238:
109:
456:
242:
163:
159:
8:
246:
199:
51:
300:
396:
234:
230:
211:
105:
338:
257:
413:
400:
388:
366:
330:
278:
219:
178:
145:
356:
245:. Within the theory of computation, he was among the pioneers of the study of
435:
334:
307:
Book, published by MIT Press, online text is a revised and corrected version.
290:
183:
392:
370:
329:, Lecture Notes in Computer Science, vol. 115, pp. 114–128,
382:
215:
203:
207:
30:
325:
Jones, Neil D. (1981), "Flow analysis of lambda expressions",
273:
303:
Computability and
Complexity from a Programming Perspective
447:
1998 fellows of the
Association for Computing Machinery
291:
Neil D. Jones, Carsten K. Gomard, and Peter
Sestoft:
293:
Partial
Evaluation and Automatic Program Generation
262:Fellow of the Association for Computing Machinery
433:
128:SIGPLAN Programming Languages Achievement Award
29:
284:
434:
385:Symposium on the Theory of Computation
256:(since 1998) and also a member of the
416:. Association for Computing Machinery
324:
233:and for pioneering work within both
359:Principles of Programming Languages
327:Automata, Languages and Programming
13:
252:Neil D. Jones was a Knight of the
14:
473:
297:Book, full text available online.
267:
406:
376:
350:
318:
1:
311:
172:University of Western Ontario
168:Pennsylvania State University
96:University of Western Ontario
452:Members of Academia Europaea
260:(since 1999). He was a 1998
7:
16:American computer scientist
10:
478:
189:
177:
151:
141:
134:
119:
101:
91:
83:
75:
59:
37:
28:
21:
335:10.1007/3-540-10843-2_10
279:Biographical information
224:University of Copenhagen
156:University of Copenhagen
202:, USA - 27 March 2023,
114:size-change termination
254:Order of the Dannebrog
124:Order of the Dannebrog
393:10.1145/800119.803883
371:10.1145/373243.360210
285:Selected publications
239:control-flow analysis
214:. He was a Professor
110:control-flow analysis
249:and P-completeness.
247:Log-space reductions
243:termination analysis
164:University of Kansas
160:University of Aarhus
200:Centralia, Illinois
87:Danish (since 1991)
52:Centralia, Illinois
235:data-flow analysis
231:partial evaluation
212:computer scientist
210:) was an American
106:Partial evaluation
344:978-3-540-10843-6
258:Academia Europaea
193:
192:
136:Scientific career
469:
426:
425:
423:
421:
410:
404:
403:
380:
374:
373:
354:
348:
347:
322:
220:computer science
179:Doctoral advisor
146:Computer science
70:
68:
48:
46:
33:
19:
18:
477:
476:
472:
471:
470:
468:
467:
466:
432:
431:
430:
429:
419:
417:
414:"Neil D. Jones"
412:
411:
407:
381:
377:
355:
351:
345:
323:
319:
314:
301:Neil D. Jones,
287:
270:
198:(22 March 1941
170:
166:
162:
158:
92:Alma mater
66:
64:
55:
54:, United States
49:
44:
42:
24:
17:
12:
11:
5:
475:
465:
464:
459:
454:
449:
444:
442:Danish knights
428:
427:
405:
375:
349:
343:
316:
315:
313:
310:
309:
308:
298:
286:
283:
282:
281:
276:
269:
268:External links
266:
191:
190:
187:
186:
181:
175:
174:
153:
149:
148:
143:
139:
138:
132:
131:
121:
117:
116:
103:
102:Known for
99:
98:
93:
89:
88:
85:
81:
80:
77:
73:
72:
71:(aged 82)
61:
57:
56:
50:
39:
35:
34:
26:
25:
22:
15:
9:
6:
4:
3:
2:
474:
463:
462:Living people
460:
458:
455:
453:
450:
448:
445:
443:
440:
439:
437:
415:
409:
402:
398:
394:
390:
386:
379:
372:
368:
364:
360:
353:
346:
340:
336:
332:
328:
321:
317:
306:
304:
299:
296:
294:
289:
288:
280:
277:
275:
272:
271:
265:
263:
259:
255:
250:
248:
244:
240:
236:
232:
227:
225:
221:
217:
213:
209:
205:
201:
197:
196:Neil D. Jones
188:
185:
182:
180:
176:
173:
169:
165:
161:
157:
154:
150:
147:
144:
140:
137:
133:
129:
125:
122:
118:
115:
111:
107:
104:
100:
97:
94:
90:
86:
82:
78:
74:
63:27 March 2023
62:
58:
53:
41:22 March 1941
40:
36:
32:
27:
23:Neil D. Jones
20:
418:. Retrieved
408:
384:
378:
365:(3): 81–92,
362:
358:
352:
326:
320:
302:
292:
251:
228:
195:
194:
184:Arto Salomaa
152:Institutions
135:
457:1941 births
84:Citizenship
76:Nationality
436:Categories
312:References
67:2023-03-28
45:1941-03-22
387:: 40–46,
274:Home page
401:12251817
216:Emeritus
204:Rungsted
126:(1998);
79:American
420:19 July
208:Denmark
65: (
43: (
399:
341:
305:(1997)
295:(1993)
142:Fields
130:(2014)
120:Awards
397:S2CID
422:2017
339:ISBN
241:and
60:Died
38:Born
389:doi
367:doi
331:doi
222:at
218:in
438::
395:,
363:36
361:,
337:,
237:,
226:.
206:,
112:,
108:,
424:.
391::
369::
333::
69:)
47:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.