![]() | ![]() |
1998 | ||
---|---|---|
23 | EE | William M. McKeeman: Differential Testing for Software. Digital Technical Journal 10(1): 100-107 (1998) |
1996 | ||
22 | William M. McKeeman: Separating Concerns in Software Quality. ACM Comput. Surv. 28(4es): 205 (1996) | |
1989 | ||
21 | William M. McKeeman: Graduation Talk at Wang Institute. IEEE Computer 22(5): 78-80 (1989) | |
1987 | ||
20 | William M. McKeeman: Experience with a Software Engineering Project Course. IEEE Trans. Software Eng. 13(11): 1182-1192 (1987) | |
1979 | ||
19 | William M. McKeeman: On An Overview. ICSE 1979: 340 | |
1976 | ||
18 | William M. McKeeman: Compiler Construction. Compiler Construction 1976: 1-36 | |
17 | William M. McKeeman: Symbol Table Access. Compiler Construction 1976: 253-301 | |
16 | William M. McKeeman: Programming Language Design. Compiler Construction 1976: 514-524 | |
15 | William M. McKeeman: Mechanizing Bankers' Morality. Comput. Lang. 1(1): 73-82 (1976) | |
1975 | ||
14 | William M. McKeeman: On Preventing Programming Languages from Interfering with Programming. IEEE Trans. Software Eng. 1(1): 19-26 (1975) | |
1974 | ||
13 | William M. McKeeman, Frank DeRemer: Feedback-free Modularization of Compilers. Fachtagung über Programmiersprachen 1974: 78-88 | |
1965 | ||
12 | EE | William M. McKeeman: Algorithm 268: ALGOL 60 reference language editor [R2]. Commun. ACM 8(11): 667-668 (1965) |
11 | EE | William M. McKeeman: Peephole optimization. Commun. ACM 8(7): 443-444 (1965) |
1964 | ||
10 | EE | William M. McKeeman, Lawrence G. Tesler, Harold S. Butler: Certification of algorithm 182: Nonrecursive adaptive integration. Commun. ACM 7(4): 244 (1964) |
9 | EE | William M. McKeeman: Remark on algorithm 135: Crout with equilibration and iteration. Commun. ACM 7(7): 421 (1964) |
8 | EE | William M. McKeeman: Algorithm 239: Free field read. Commun. ACM 7(8): 481-482 (1964) |
1963 | ||
7 | EE | William M. McKeeman: Certification of algorithm 145: adaptive numerical integration by Simpson's rule. Commun. ACM 6(4): 167-168 (1963) |
6 | EE | William M. McKeeman, Lawrence G. Tesler: Algorithm 182: nonrecursive adaptive integration. Commun. ACM 6(6): 315 (1963) |
5 | EE | William M. McKeeman: Algorithm 198: adaptive integration and multiple integration. Commun. ACM 6(8): 443-444 (1963) |
1962 | ||
4 | EE | William M. McKeeman: Algorithm 135: Crout with equilibration and iteration. Commun. ACM 5(11): 553-555 (1962) |
3 | EE | William M. McKeeman: Certification of Algorithm 135: Crout with equilibration and iteration. Commun. ACM 5(11): 557 (1962) |
2 | EE | William M. McKeeman: Algorithm 145: Adaptive numerical integration by Simpson's rule. Commun. ACM 5(12): 604 (1962) |
1 | EE | William M. McKeeman: Algorithm 146: Multiple integration. Commun. ACM 5(12): 604-605 (1962) |
1 | Harold S. Butler | [10] |
2 | Frank DeRemer | [13] |
3 | Lawrence G. Tesler | [6] [10] |