749:
1734:
1724:
31:
361:, which exhibits ALGOL's syntactic and semantic purity, and is used in programming language research. It also made a convincing methodologic argument regarding the suitability of local effects in the context of
1830:
516:
1125:
1800:
1116:
1805:
487:
1795:
1815:
953:
791:
1820:
1728:
1790:
679:
1780:
1302:
1188:
1040:
635:
1810:
1415:
1147:
1099:
809:
594:
393:
527:
1770:
1410:
1775:
1459:
1339:
454:
436:
1706:
1648:
374:
1168:
784:
291:
705:
1785:
763:
758:
373:. The conceptual integrity of the language made it one of the main objects of semantic research, along with
1825:
339:
989:
885:
315:
1696:
1284:
984:
968:
921:
777:
446:
263:
161:
674:
1205:
588:
382:
370:
1701:
422:
1178:
1083:
405:
1477:
1173:
1053:
279:
275:
1120:
307:
583:
1559:
1331:
1274:
1183:
1142:
1067:
978:
468:
1765:
1760:
303:
239:
80:
8:
1593:
1249:
848:
748:
697:
666:
331:
255:
251:
243:
157:
99:
1569:
1349:
1244:
1048:
932:
818:
641:
388:
326:. He wrote a seminal paper on definitional interpreters, which clarified early work on
283:
247:
223:
187:
147:
84:
1738:
1574:
1449:
1344:
1264:
631:
450:
432:
343:
342:. He defined the programming languages Gedanken and Forsythe, known for their use of
267:
235:
103:
76:
1663:
1582:
1464:
709:
684:
645:
623:
615:
556:
498:
347:
323:
259:
115:
1625:
1609:
1601:
1546:
1505:
1430:
1359:
1029:
335:
1681:
1500:
1364:
1297:
1269:
1152:
911:
401:
357:
Reynolds created an elegant, idealized formulation of the programming language
351:
129:
1387:
688:
627:
560:
502:
1754:
1617:
1530:
1438:
1425:
1405:
1354:
948:
915:
670:
662:
428:
366:
319:
111:
754:
713:
1658:
1653:
1630:
1564:
1538:
1482:
1454:
1395:
1254:
545:
362:
327:
95:
1643:
1551:
1400:
1377:
1372:
1292:
1259:
1239:
469:"Transformational Systems and the Algebraic Structure of Atomic Formulas"
397:
1469:
1420:
1382:
881:
876:
739:
734:
30:
1105:
891:
871:
856:
311:
287:
769:
258:
from 1970 to 1986. From then until his death, he was a professor of
1519:
1316:
1227:
1111:
Euro-Asian
Council for Standardization, Metrology and Certification
1012:
1008:
838:
833:
828:
693:
107:
1004:
906:
901:
896:
701:
271:
1492:
1017:
994:
973:
168:
622:. Cambridge, Massachusetts, United States: Birkhauser Boston.
546:"Separation Logic: A Logic for Shared Mutable Data Structures"
1093:
1023:
999:
963:
926:
861:
800:
727:
358:
202:
119:
553:
17th IEEE Symposium on Logic in
Computer Science (LICS 2002)
1110:
957:
943:
937:
866:
743:
1831:
2001 fellows of the
Association for Computing Machinery
365:
languages, in contrast with the global effects used by
683:, 375(1β3):1β350, 1 May 2007. Editorial, pages 1β2.
302:
Reynolds's main research interest was in the area of
322:; the same calculus was independently discovered by
1719:^ = full name and link in prior ALGOL version above
1117:
International
Federation for Information Processing
318:(System F) and formulated the property of semantic
614:
398:ACM SIGPLAN Programming Language Achievement Award
1752:
764:Program Verification and Semantics: Further Work
675:Festschrift for John C. Reynolds's 70th Birthday
517:"Types, Abstraction and Parametric Polymorphism"
222:(June 1, 1935 β April 28, 2013) was an American
956:(ESPOL) β New Executive Programming Language (
785:
229:
1801:Academics of Queen Mary University of London
1126:Society of Applied Mathematics and Mechanics
392:. In 2001, he was appointed a Fellow of the
350:to describe and reason about shared mutable
954:Executive Systems Problem Oriented Language
792:
778:
747:
29:
497:. Paris, France. 1974. pp. 408β425.
380:He was an editor of journals such as the
1806:Academics of the University of Edinburgh
526:. 1983. pp. 513β523. Archived from
411:
16:American computer scientist (1935β2013)
1753:
581:
1189:Massachusetts Institute of Technology
799:
773:
266:. He also held visiting positions at
174:Surface Properties of Nuclear Matter
1796:Academics of Imperial College London
488:"Towards a Theory of Type Structure"
1100:Association for Computing Machinery
1022:Small Machine ALGOL Like Language (
595:Association for Computing Machinery
394:Association for Computing Machinery
13:
1816:Carnegie Mellon University faculty
656:
14:
1842:
1821:American academic journal editors
719:
443:Theories of Programming Languages
1791:Programming language researchers
1733:
1732:
1723:
1722:
375:Programming Computable Functions
330:and introduced the technique of
297:
582:Fisher, Larry (29 April 2013).
310:, especially concerning formal
292:Queen Mary University of London
250:in 1961. He was a professor of
102:, Forsythe, Gedanken language,
1697:ALGOL 58 influence on ALGOL 60
708:". POPL 2014, pages 251β256.
608:
575:
1:
759:Mathematics Genealogy Project
618:; Tennent, Robert D. (1997).
568:
495:Colloque sur la Programmation
98:, definitional interpreters,
1781:American computer scientists
1169:Case Institute of Technology
680:Theoretical Computer Science
7:
1811:Syracuse University faculty
1702:ALGOL 68 to other languages
316:polymorphic lambda calculus
276:The University of Edinburgh
108:polymorphic lambda calculus
10:
1847:
584:"John Reynolds, 1935β2013"
524:Information Processing '83
447:Cambridge University Press
264:Carnegie Mellon University
230:Education and affiliations
162:Carnegie Mellon University
1771:Harvard University alumni
1714:
1690:
1518:
1491:
1324:
1315:
1283:
1235:
1226:
1219:
1206:Royal Radar Establishment
1198:
1161:
1135:
1082:
1075:
1066:
1039:
847:
817:
808:
689:10.1016/j.tcs.2006.12.024
628:10.1007/978-1-4612-4118-8
589:Communications of the ACM
561:10.1109/LICS.2002.1029817
503:10.1007/3-540-06859-7_148
383:Communications of the ACM
234:John Reynolds studied at
197:
193:
183:
167:
153:
143:
136:
125:
91:
72:
60:
37:
28:
21:
1776:Purdue University alumni
1179:University of St Andrews
424:The Craft of Programming
406:British Computer Society
338:to programming language
1478:Adriaan van Wijngaarden
1174:University of Edinburgh
1054:Van Wijngaarden grammar
714:10.1145/2535838.2537851
706:The Essence of Reynolds
308:specification languages
280:Imperial College London
1121:IFIP Working Group 2.1
306:design and associated
1786:Formal methods people
1560:Cornelis H. A. Koster
1332:Roland Carl Backhouse
1275:Joseph Henry Wegstein
1184:Manchester University
1143:Burroughs Corporation
431:International, 1981.
412:Selected publications
220:John Charles Reynolds
42:John Charles Reynolds
746:Bibliography Server
620:Algol-Like Languages
476:Machine Intelligence
304:programming language
240:Doctor of Philosophy
1826:Microsoft employees
1594:Willem van der Poel
1250:Hermann Bottenbruch
332:defunctionalization
256:Syracuse University
252:information science
244:theoretical physics
158:Syracuse University
100:defunctionalization
1739:Category: ALGOL 60
1570:Charles H. Lindsey
1350:Edsger W. Dijkstra
1245:Friedrich L. Bauer
933:Dartmouth ALGOL 30
555:. pp. 55β74.
396:(ACM). He won the
389:Journal of the ACM
369:languages such as
344:intersection types
314:. He invented the
284:Microsoft Research
248:Harvard University
238:and then earned a
224:computer scientist
188:Benjamin C. Pierce
148:Computer scientist
104:intersection types
85:Harvard University
1748:
1747:
1677:
1676:
1639:
1638:
1575:Barry J. Mailloux
1514:
1513:
1450:Jacob T. Schwartz
1345:Stephen R. Bourne
1311:
1310:
1265:Heinz Rutishauser
1215:
1214:
1062:
1061:
637:978-0-8176-3880-1
593:. United States:
400:in 2003, and the
346:. He worked on a
268:Aarhus University
236:Purdue University
217:
216:
184:Doctoral students
138:Scientific career
77:Purdue University
1838:
1736:
1735:
1726:
1725:
1669:John C. Reynolds
1614:van Wijngaarden^
1583:Lambert Meertens
1465:Bernard Vauquois
1322:
1321:
1303:Robert M. Graham
1233:
1232:
1224:
1223:
1148:Elliott Brothers
1080:
1079:
1073:
1072:
815:
814:
794:
787:
780:
771:
770:
755:John C. Reynolds
751:
740:John C. Reynolds
735:Curriculum Vitae
731:
730:
728:Official website
650:
649:
612:
606:
605:
603:
601:
579:
564:
550:
541:
539:
538:
532:
521:
512:
510:
509:
492:
483:
482:: 135β151. 1970.
473:
348:separation logic
324:Jean-Yves Girard
260:computer science
213:
210:
208:
206:
204:
179:
116:separation logic
67:
51:
49:
33:
23:John C. Reynolds
19:
18:
1846:
1845:
1841:
1840:
1839:
1837:
1836:
1835:
1751:
1750:
1749:
1744:
1729:Category: ALGOL
1721:
1710:
1707:ALGOL 68 to C++
1686:
1673:
1635:
1626:Philip Woodward
1610:Michel Sintzoff
1602:Douglas T. Ross
1510:
1506:Kristen Nygaard
1487:
1431:John E. L. Peck
1360:Robert W. Floyd
1307:
1279:
1211:
1194:
1157:
1131:
1085:
1058:
1049:Jensen's device
1035:
922:Burroughs ALGOL
843:
820:
810:Implementations
804:
798:
726:
725:
722:
694:Stephen Brookes
659:
657:Further reading
654:
653:
638:
613:
609:
599:
597:
580:
576:
571:
548:
544:
536:
534:
530:
519:
515:
507:
505:
490:
486:
471:
467:
414:
352:data structures
336:category theory
300:
232:
201:
177:
160:
79:
65:
56:
53:
47:
45:
44:
43:
24:
17:
12:
11:
5:
1844:
1834:
1833:
1828:
1823:
1818:
1813:
1808:
1803:
1798:
1793:
1788:
1783:
1778:
1773:
1768:
1763:
1746:
1745:
1743:
1742:
1715:
1712:
1711:
1709:
1704:
1699:
1694:
1692:
1688:
1687:
1685:
1684:
1682:ALGOL Bulletin
1678:
1675:
1674:
1672:
1671:
1666:
1661:
1656:
1651:
1646:
1640:
1637:
1636:
1634:
1633:
1628:
1623:
1620:
1615:
1612:
1607:
1604:
1599:
1596:
1591:
1588:
1585:
1580:
1577:
1572:
1567:
1562:
1557:
1554:
1549:
1544:
1541:
1536:
1533:
1528:
1524:
1522:
1516:
1515:
1512:
1511:
1509:
1508:
1503:
1501:Ole-Johan Dahl
1497:
1495:
1489:
1488:
1486:
1485:
1480:
1475:
1472:
1467:
1462:
1457:
1452:
1447:
1444:
1441:
1436:
1433:
1428:
1423:
1418:
1416:Carroll Morgan
1413:
1408:
1403:
1398:
1393:
1390:
1385:
1380:
1375:
1370:
1367:
1365:Jeremy Gibbons
1362:
1357:
1352:
1347:
1342:
1337:
1334:
1329:
1325:
1319:
1313:
1312:
1309:
1308:
1306:
1305:
1300:
1298:Bernard Galler
1295:
1289:
1287:
1281:
1280:
1278:
1277:
1272:
1270:Klaus Samelson
1267:
1262:
1257:
1252:
1247:
1242:
1236:
1230:
1221:
1217:
1216:
1213:
1212:
1210:
1209:
1202:
1200:
1196:
1195:
1193:
1192:
1186:
1181:
1176:
1171:
1165:
1163:
1159:
1158:
1156:
1155:
1153:Regnecentralen
1150:
1145:
1139:
1137:
1133:
1132:
1130:
1129:
1123:
1114:
1108:
1103:
1097:
1090:
1088:
1077:
1070:
1064:
1063:
1060:
1059:
1057:
1056:
1051:
1045:
1043:
1037:
1036:
1034:
1033:
1027:
1020:
1015:
1002:
997:
992:
987:
982:
976:
971:
966:
961:
951:
946:
941:
935:
930:
924:
919:
912:Atlas Autocode
909:
904:
899:
894:
889:
879:
874:
869:
864:
859:
853:
851:
845:
844:
842:
841:
836:
831:
825:
823:
812:
806:
805:
797:
796:
789:
782:
774:
768:
767:
766:(London, 2004)
761:
752:
737:
732:
721:
720:External links
718:
717:
716:
691:
658:
655:
652:
651:
636:
616:O'Hearn, Peter
607:
573:
572:
570:
567:
566:
565:
542:
513:
484:
464:
463:
459:
458:
440:
419:
418:
413:
410:
402:Lovelace Medal
377:(PCF) and ML.
299:
296:
231:
228:
215:
214:
199:
195:
194:
191:
190:
185:
181:
180:
171:
165:
164:
155:
151:
150:
145:
141:
140:
134:
133:
130:Lovelace Medal
127:
123:
122:
93:
92:Known for
89:
88:
74:
70:
69:
68:(aged 77)
64:April 28, 2013
62:
58:
57:
54:
41:
39:
35:
34:
26:
25:
22:
15:
9:
6:
4:
3:
2:
1843:
1832:
1829:
1827:
1824:
1822:
1819:
1817:
1814:
1812:
1809:
1807:
1804:
1802:
1799:
1797:
1794:
1792:
1789:
1787:
1784:
1782:
1779:
1777:
1774:
1772:
1769:
1767:
1764:
1762:
1759:
1758:
1756:
1741:
1740:
1731:
1730:
1720:
1717:
1716:
1713:
1708:
1705:
1703:
1700:
1698:
1695:
1693:
1689:
1683:
1680:
1679:
1670:
1667:
1665:
1664:Peter O'Hearn
1662:
1660:
1657:
1655:
1652:
1650:
1647:
1645:
1642:
1641:
1632:
1629:
1627:
1624:
1621:
1619:
1618:Niklaus Wirth
1616:
1613:
1611:
1608:
1605:
1603:
1600:
1597:
1595:
1592:
1589:
1586:
1584:
1581:
1578:
1576:
1573:
1571:
1568:
1566:
1563:
1561:
1558:
1555:
1553:
1550:
1548:
1545:
1542:
1540:
1537:
1534:
1532:
1531:Susan G. Bond
1529:
1526:
1525:
1523:
1521:
1517:
1507:
1504:
1502:
1499:
1498:
1496:
1494:
1490:
1484:
1481:
1479:
1476:
1473:
1471:
1468:
1466:
1463:
1461:
1458:
1456:
1453:
1451:
1448:
1445:
1442:
1440:
1439:Brian Randell
1437:
1434:
1432:
1429:
1427:
1426:Maurice Nivat
1424:
1422:
1419:
1417:
1414:
1412:
1411:John McCarthy
1409:
1407:
1406:Conor McBride
1404:
1402:
1399:
1397:
1394:
1391:
1389:
1386:
1384:
1381:
1379:
1376:
1374:
1371:
1368:
1366:
1363:
1361:
1358:
1356:
1355:Andrey Ershov
1353:
1351:
1348:
1346:
1343:
1341:
1338:
1335:
1333:
1330:
1327:
1326:
1323:
1320:
1318:
1314:
1304:
1301:
1299:
1296:
1294:
1291:
1290:
1288:
1286:
1282:
1276:
1273:
1271:
1268:
1266:
1263:
1261:
1258:
1256:
1253:
1251:
1248:
1246:
1243:
1241:
1238:
1237:
1234:
1231:
1229:
1225:
1222:
1218:
1207:
1204:
1203:
1201:
1197:
1190:
1187:
1185:
1182:
1180:
1177:
1175:
1172:
1170:
1167:
1166:
1164:
1160:
1154:
1151:
1149:
1146:
1144:
1141:
1140:
1138:
1134:
1127:
1124:
1122:
1118:
1115:
1112:
1109:
1107:
1104:
1101:
1098:
1095:
1092:
1091:
1089:
1087:
1081:
1078:
1076:Organizations
1074:
1071:
1069:
1065:
1055:
1052:
1050:
1047:
1046:
1044:
1042:
1038:
1031:
1028:
1025:
1021:
1019:
1016:
1014:
1010:
1006:
1003:
1001:
998:
996:
993:
991:
988:
986:
983:
980:
977:
975:
972:
970:
967:
965:
962:
959:
955:
952:
950:
949:Elliott ALGOL
947:
945:
942:
939:
936:
934:
931:
928:
925:
923:
920:
917:
916:Edinburgh IMP
913:
910:
908:
905:
903:
900:
898:
895:
893:
890:
887:
883:
880:
878:
875:
873:
870:
868:
865:
863:
860:
858:
855:
854:
852:
850:
846:
840:
837:
835:
832:
830:
827:
826:
824:
822:
816:
813:
811:
807:
802:
795:
790:
788:
783:
781:
776:
775:
772:
765:
762:
760:
756:
753:
750:
745:
741:
738:
736:
733:
729:
724:
723:
715:
711:
707:
703:
699:
698:Peter O'Hearn
695:
692:
690:
686:
682:
681:
676:
672:
671:Philip Wadler
668:
667:Peter O'Hearn
664:
663:Olivier Danvy
661:
660:
647:
643:
639:
633:
629:
625:
621:
617:
611:
596:
592:
590:
585:
578:
574:
562:
558:
554:
547:
543:
533:on 2016-03-10
529:
525:
518:
514:
504:
500:
496:
489:
485:
481:
477:
470:
466:
465:
461:
460:
456:
455:0-521-59414-6
452:
448:
444:
441:
438:
437:0-13-188862-5
434:
430:
429:Prentice Hall
426:
425:
421:
420:
416:
415:
409:
407:
403:
399:
395:
391:
390:
385:
384:
378:
376:
372:
368:
367:call-by-value
364:
360:
355:
353:
349:
345:
341:
337:
334:. He applied
333:
329:
328:continuations
325:
321:
320:parametricity
317:
313:
309:
305:
298:Academic work
295:
293:
289:
285:
281:
277:
273:
269:
265:
261:
257:
253:
249:
245:
241:
237:
227:
225:
221:
212:
200:
196:
192:
189:
186:
182:
175:
172:
170:
166:
163:
159:
156:
152:
149:
146:
142:
139:
135:
131:
128:
124:
121:
117:
113:
112:parametricity
110:, relational
109:
105:
101:
97:
96:continuations
94:
90:
86:
82:
78:
75:
71:
63:
59:
55:United States
40:
36:
32:
27:
20:
1737:
1727:
1718:
1668:
1659:Ron Morrison
1654:Tony Brooker
1631:Nobuo Yoneda
1565:Peter Landin
1547:Gerhard Goos
1539:Robert Dewar
1483:Mike Woodger
1460:David Turner
1455:Micha Sharir
1443:Rutishauser^
1396:Peter Landin
1369:Julien Green
1340:Richard Bird
1255:Charles Katz
1086:associations
1084:Professional
678:
673:(editors), "
619:
610:
598:. Retrieved
587:
577:
552:
535:. Retrieved
528:the original
523:
506:. Retrieved
494:
479:
475:
442:
423:
387:
381:
379:
363:call-by-name
356:
301:
233:
219:
218:
173:
154:Institutions
137:
66:(2013-04-28)
52:June 1, 1935
1766:2013 deaths
1761:1935 births
1649:John Barnes
1644:Hal Abelson
1552:Michael Guy
1401:Tom Maibaum
1388:JΓΈrn Jensen
1378:Eric Hehner
1373:David Gries
1293:Bruce Arden
1260:Alan Perlis
1240:John Backus
803:programming
242:(Ph.D.) in
1755:Categories
1691:Comparison
1470:Eiiti Wada
1421:Peter Naur
1383:Tony Hoare
1199:Government
1041:Formalisms
882:ALGOL 68RS
877:ALGOL 68-R
702:Uday Reddy
591:: ACM News
569:References
537:2014-11-06
508:2014-11-06
290:, UK) and
48:1935-06-01
1606:Samelson^
1579:McCarthy^
1543:Dijkstra^
1474:Wegstein^
1446:Samelson^
1162:Education
1106:BSI Group
1068:Community
979:Kidsgrove
892:ALGOL 68S
872:ALGOL 68C
857:ABC ALGOL
821:standards
819:Technical
408:in 2010.
404:from the
340:semantics
312:semantics
288:Cambridge
73:Education
1622:Woodger^
1598:Randell^
1520:ALGOL 68
1317:ALGOL 60
1228:ALGOL 58
1136:Business
1013:Napier88
1009:PS-algol
849:Dialects
839:ALGOL 68
834:ALGOL 60
829:ALGOL 58
600:30 April
462:Articles
449:, 1998.
386:and the
1535:Bourne^
1435:Perlis^
1328:Backus^
1119:(IFIP)
1005:S-algol
907:ALGOL X
902:ALGOL W
897:ALGOL N
757:at the
646:6273486
272:Denmark
198:Website
1556:Hoare^
1527:Bauer^
1493:Simula
1336:Bauer^
1220:People
1128:(GAMM)
1113:(EASC)
1018:Simula
995:NELIAC
974:JOVIAL
644:
634:
453:
435:
178:(1961)
176:
169:Thesis
144:Fields
132:(2010)
126:Awards
87:(1961)
1590:Peck^
1587:Naur^
1392:Katz^
1208:(RRE)
1191:(MIT)
1102:(ACM)
1096:Group
1094:ALCOR
1032:ALGOL
1024:SMALL
1000:RTL/2
981:Algol
964:FLACC
940:ALGOL
927:CORAL
862:ALCOR
801:ALGOL
642:S2CID
549:(PDF)
531:(PDF)
520:(PDF)
491:(PDF)
472:(PDF)
417:Books
359:ALGOL
246:from
211:/~jcr
120:ALGOL
81:Ph.D.
1030:SMIL
990:Mary
958:NEWP
944:DG/L
938:DASK
886:ELLA
867:ALGO
744:DBLP
700:and
669:and
632:ISBN
602:2013
451:ISBN
433:ISBN
209:.edu
207:.cmu
61:Died
38:Born
1285:MAD
985:MAD
969:IMP
742:at
710:doi
704:, "
685:doi
677:".
624:doi
557:doi
499:doi
274:),
262:at
254:at
205:.cs
203:www
1757::
1011:,
1007:,
929:66
696:,
665:,
640:.
630:.
586:.
551:.
522:.
493:.
478:.
474:.
445:,
427:,
371:ML
354:.
294:.
282:,
278:,
226:.
118:,
114:,
106:,
83:,
1026:)
960:)
918:)
914:(
888:)
884:(
793:e
786:t
779:v
712::
687::
648:.
626::
604:.
563:.
559::
540:.
511:.
501::
480:5
457:.
439:.
286:(
270:(
50:)
46:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.