William M. McKeeman

According to our database, William M. McKeeman authored at least 31 papers between 1962 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1998

Differential Testing for Software.

William M. McKeeman

Digit. Tech. J., 1998

1996

Separating Concerns in Software Quality.

William M. McKeeman

ACM Comput. Surv., 1996

1989

Graduation Talk at Wang Institute.

William M. McKeeman

Computer, 1989

1987

Experience with a Software Engineering Project Course.

William M. McKeeman

IEEE Trans. Software Eng., 1987

1981

Ada syntax chart.

Frank DeRemer, Thomas J. Pennello, William M. McKeeman

ACM SIGPLAN Notices, 1981

1979

On An Overview.

William M. McKeeman

Proceedings of the 4th International Conference on Software Engineering, 1979

1976

Mechanizing Bankers' Morality.

William M. McKeeman

Comput. Lang., 1976

Corporate integration through systems software.

William M. McKeeman

Proceedings of the ACM SIGMINI/SIGPLAN interface meeting on Programming systems in the small processor environment, 1976

Programming Language Design.

William M. McKeeman

Proceedings of the Compiler Construction, An Advanced Course, 2nd ed., 1976

Symbol Table Access.

William M. McKeeman

Proceedings of the Compiler Construction, An Advanced Course, 2nd ed., 1976

Compiler Construction.

William M. McKeeman

Proceedings of the Compiler Construction, An Advanced Course, 2nd ed., 1976

1975

On Preventing Programming Languages from Interfering with Programming.

William M. McKeeman

IEEE Trans. Software Eng., 1975

1974

Computer design evaluation using programming language primitives.

William M. McKeeman

SIGARCH Comput. Archit. News, 1974

Feedback-free Modularization of Compilers.

William M. McKeeman, Frank DeRemer

Proceedings of the 3. Fachtagung über Programmiersprachen, 1974

1968

R68-28 A Microprogrammed Implementation of EULER on IBM System/360 Model 30.

William M. McKeeman

IEEE Trans. Computers, 1968

The XPL compiler generator system.

William M. McKeeman, James J. Horning, Edward Clark Nelson, David B. Wortman

Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '68 Fall Joint Computer Conference, December 9-11, 1968, San Francisco, California, USA, 1968

1967

Representation Error for Real Numbers in Binary Computer Arithmetic.

William M. McKeeman

IEEE Trans. Electron. Comput., 1967

Language directed computer design.

William M. McKeeman

Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '67 Fall Joint Computer Conference, 1967

1966

An approach to computer language design.

William M. McKeeman

PhD thesis, 1966

1965

Algorithm 268: ALGOL 60 reference language editor [R2].

William M. McKeeman

Commun. ACM, 1965

Peephole optimization.

William M. McKeeman

Commun. ACM, 1965

1964

Certification of algorithm 182: Nonrecursive adaptive integration.

William M. McKeeman, Lawrence G. Tesler, Harold S. Butler

Commun. ACM, 1964

Algorithm 239: Free field read.

William M. McKeeman

Commun. ACM, 1964

Remark on algorithm 135: Crout with equilibration and iteration.

William M. McKeeman

Commun. ACM, 1964

1963

Algorithm 182: nonrecursive adaptive integration.

William M. McKeeman, Lawrence G. Tesler

Commun. ACM, 1963

Algorithm 198: adaptive integration and multiple integration.

William M. McKeeman

Commun. ACM, 1963

Certification of algorithm 145: adaptive numerical integration by Simpson's rule.

William M. McKeeman

Commun. ACM, 1963

1962

Algorithm 146: Multiple integration.

William M. McKeeman

Commun. ACM, 1962

Algorithm 145: Adaptive numerical integration by Simpson's rule.

William M. McKeeman

Commun. ACM, 1962

Certification of Algorithm 135: Crout with equilibration and iteration.

William M. McKeeman

Commun. ACM, 1962

Algorithm 135: Crout with equilibration and iteration.

William M. McKeeman

Commun. ACM, 1962