William M. McKeeman

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