dblp.uni-trier.dewww.uni-trier.de

William M. McKeeman

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1998
23EEWilliam 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
12EEWilliam M. McKeeman: Algorithm 268: ALGOL 60 reference language editor [R2]. Commun. ACM 8(11): 667-668 (1965)
11EEWilliam M. McKeeman: Peephole optimization. Commun. ACM 8(7): 443-444 (1965)
1964
10EEWilliam M. McKeeman, Lawrence G. Tesler, Harold S. Butler: Certification of algorithm 182: Nonrecursive adaptive integration. Commun. ACM 7(4): 244 (1964)
9EEWilliam M. McKeeman: Remark on algorithm 135: Crout with equilibration and iteration. Commun. ACM 7(7): 421 (1964)
8EEWilliam M. McKeeman: Algorithm 239: Free field read. Commun. ACM 7(8): 481-482 (1964)
1963
7EEWilliam M. McKeeman: Certification of algorithm 145: adaptive numerical integration by Simpson's rule. Commun. ACM 6(4): 167-168 (1963)
6EEWilliam M. McKeeman, Lawrence G. Tesler: Algorithm 182: nonrecursive adaptive integration. Commun. ACM 6(6): 315 (1963)
5EEWilliam M. McKeeman: Algorithm 198: adaptive integration and multiple integration. Commun. ACM 6(8): 443-444 (1963)
1962
4EEWilliam M. McKeeman: Algorithm 135: Crout with equilibration and iteration. Commun. ACM 5(11): 553-555 (1962)
3EEWilliam M. McKeeman: Certification of Algorithm 135: Crout with equilibration and iteration. Commun. ACM 5(11): 557 (1962)
2EEWilliam M. McKeeman: Algorithm 145: Adaptive numerical integration by Simpson's rule. Commun. ACM 5(12): 604 (1962)
1EEWilliam M. McKeeman: Algorithm 146: Multiple integration. Commun. ACM 5(12): 604-605 (1962)

Coauthor Index

1Harold S. Butler [10]
2Frank DeRemer [13]
3Lawrence G. Tesler [6] [10]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)