William M. McKeeman

Publication Activity (10 Years)

Years Active: 1962-1998
Publications (10 Years): 0

Publications

William M. McKeeman
Differential Testing for Software. Digit. Tech. J. 10 (1) (1998)
William M. McKeeman
Separating Concerns in Software Quality. ACM Comput. Surv. 28 (4es) (1996)
William M. McKeeman
Graduation Talk at Wang Institute. Computer 22 (5) (1989)
William M. McKeeman
Experience with a Software Engineering Project Course. IEEE Trans. Software Eng. 13 (11) (1987)
Frank DeRemer, Thomas J. Pennello, William M. McKeeman
Ada syntax chart. ACM SIGPLAN Notices 16 (9) (1981)
William M. McKeeman
On An Overview. ICSE (1979)
William M. McKeeman
Symbol Table Access. Compiler Construction (1976)
William M. McKeeman
Mechanizing Bankers' Morality. Comput. Lang. 1 (1) (1976)
William M. McKeeman
Corporate integration through systems software. SIGMINI (1976)
William M. McKeeman
Programming Language Design. Compiler Construction (1976)
William M. McKeeman
Compiler Construction. Compiler Construction (1976)
William M. McKeeman
On Preventing Programming Languages from Interfering with Programming. IEEE Trans. Software Eng. 1 (1) (1975)
William M. McKeeman
Computer design evaluation using programming language primitives. SIGARCH Comput. Archit. News 3 (1) (1974)
William M. McKeeman, Frank DeRemer
Feedback-free Modularization of Compilers. Fachtagung über Programmiersprachen (1974)
William M. McKeeman, James J. Horning, E. C. Nelson, David B. Wortman
The XPL compiler generator system. AFIPS Fall Joint Computing Conference (1) (1968)
William M. McKeeman
R68-28 A Microprogrammed Implementation of EULER on IBM System/360 Model 30. IEEE Trans. Computers 17 (6) (1968)
William M. McKeeman
Language directed computer design. AFIPS Fall Joint Computing Conference (1967)
William M. McKeeman
Representation Error for Real Numbers in Binary Computer Arithmetic. IEEE Trans. Electron. Comput. 16 (5) (1967)
William M. McKeeman
Algorithm 268: ALGOL 60 reference language editor [R2]. Commun. ACM 8 (11) (1965)
William M. McKeeman
Peephole optimization. Commun. ACM 8 (7) (1965)
William M. McKeeman
Remark on algorithm 135: Crout with equilibration and iteration. Commun. ACM 7 (7) (1964)
William M. McKeeman
Algorithm 239: Free field read. Commun. ACM 7 (8) (1964)
William M. McKeeman, Lawrence G. Tesler, Harold S. Butler
Certification of algorithm 182: Nonrecursive adaptive integration. Commun. ACM 7 (4) (1964)
William M. McKeeman
Certification of algorithm 145: adaptive numerical integration by Simpson's rule. Commun. ACM 6 (4) (1963)
William M. McKeeman, Lawrence G. Tesler
Algorithm 182: nonrecursive adaptive integration. Commun. ACM 6 (6) (1963)
William M. McKeeman
Algorithm 198: adaptive integration and multiple integration. Commun. ACM 6 (8) (1963)
William M. McKeeman
Certification of Algorithm 135: Crout with equilibration and iteration. Commun. ACM 5 (11) (1962)
William M. McKeeman
Algorithm 145: Adaptive numerical integration by Simpson's rule. Commun. ACM 5 (12) (1962)
William M. McKeeman
Algorithm 146: Multiple integration. Commun. ACM 5 (12) (1962)
William M. McKeeman
Algorithm 135: Crout with equilibration and iteration. Commun. ACM 5 (11) (1962)